Theorem Equiv.Perm.inv_mulRight

Modification history