Theorem Equiv.Perm.mul_def

Modification history