Theorem Equiv.Perm.signBijAux_inj

Modification history