Theorem AddSubmonoid.one_eq_closure

Modification history