Theorem Submonoid.fromLeftInv_eq_iff

Modification history

2024-05-31 00:19
Mathlib/GroupTheory/Submonoid/Inverses.lean
chore: fix formatting of many misplaced "by"s (#13204)
Modified Submonoid.fromLeftInv_eq_iffView on Github →
2023-02-02 13:45
Mathlib/GroupTheory/Submonoid/Inverses.lean
feat: port GroupTheory.Submonoid.Inverses (#1987)
Added Submonoid.fromLeftInv_eq_iffView on Github →