Resolve "Add injectivity for type invariant"
Closes #287 (closed)
-
record injectivity -
integer range injectivity -
float range injectivity(only hold for finite floats, suppressed) -
reference manual -
check for corresponding stdlib axioms, if any -
nouveau test -
mise à jour des sessions de tests