Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
submonoid.left_inv_left_inv_eq
Modification history
2021-12-11 21:21
src/group_theory/submonoid/inverses.lean
feat(group_theory/submonoid): The submonoid of left inverses of a submonoid (#10679)
Added
submonoid.left_inv_left_inv_eq
View on Github →