Theorem Equiv.Perm.disjoint_comm

Modification history