Theorem IndexedPartition.equivQuotient_index_apply

Modification history