Theorem Submonoid.leftInv_le_is_unit

Modification history