Theorem Submonoid.fromLeftInv_leftInvEquiv_symm

Modification history