Theorem Submonoid.is_submonoid

Modification history