Theorem Equiv.Perm.Disjoint.disjoint_support

Modification history