Theorem Submonoid.leftInv_le_isUnit

Modification history