Theorem Submonoid.leftInvEquiv_symm_eq_inv

Modification history