Theorem Equiv.Perm.partition_eq_of_isConj

Modification history