Theorem AddSubmonoid.closure_singleton_eq

Modification history