Theorem Equiv.Perm.signAux_inv

Modification history