Theorem Monoid.closure_subset

Modification history