Theorem Subgroup.quotientEquivSigmaZmod_apply

Modification history