Theorem Subgroup.closure_mul_image_eq_top'

Modification history