Theorem Equiv.Perm.Disjoint.inv_right

Modification history