Theorem Subgroup.quotientEquivSigmaZMod_symm_apply

Modification history