Def IndexedPartition.equivQuotient

Modification history