Theorem Submonoid.induction_of_closure_eq_top_left

Modification history