Theorem AddSubmonoid.one_eq_closure_one_set

Modification history