Theorem Submonoid.leftInv_eq_inv

Modification history