Theorem Submonoid.mul_leftInvEquiv

Modification history