Theorem Subgroup.quotientEquivOfEq_mk

Modification history