Theorem Equiv.Perm.parts_partition

Modification history