Theorem Submonoid.leftInv_leftInv_eq

Modification history