Theorem Submonoid.fromLeftInv_one

Modification history