Theorem Equiv.Perm.symm_mul

Modification history