mathlib3
cc5ff8ca - feat(group_theory/submonoid): The submonoid of left inverses of a submonoid (#10679)

Commit

4 years ago

feat(group_theory/submonoid): The submonoid of left inverses of a submonoid (#10679) Co-authored-by: Andrew Yang <36414270+erdOne@users.noreply.github.com>

Author

erdOne

Parents

1c2b7420

mathlib3 cc5ff8ca - feat(group_theory/submonoid): The submonoid of left inverses of a submonoid (#10679)

mathlib3
cc5ff8ca - feat(group_theory/submonoid): The submonoid of left inverses of a submonoid (#10679)