Theorem Equiv.Perm.signBijAux_injOn

Modification history