Theorem Submonoid.mul_subset

Modification history