Theorem Equiv.Perm.Disjoint.inv_left

Modification history