Theorem Equiv.Perm.disjoint_refl_iff

Modification history