Theorem Submonoid.induction_of_closure_eq_top_right

Modification history