Theorem Submonoid.closure_singleton_eq

Modification history