Theorem Subgroup.exponent_top

Modification history