Theorem Subgroup.closure_induction_right

Modification history