Theorem Submonoid.closure_insert_one

Modification history