Theorem Equiv.Perm.disjoint_conj

Modification history