Theorem IndexedPartition.equivQuotient_symm_proj_apply

Modification history