Theorem IndexedPartition.disjoint

Modification history