Theorem Submonoid.closure_singleton_one

Modification history