Theorem Equiv.Perm.inv_trans_self

Modification history