Theorem Subgroup.closure_mul_image_eq_top

Modification history