Theorem Finite.of_finite_quot_finite_subgroup

Modification history