Theorem Monoid.closure_singleton

Modification history