insertion lemmas (#3657)

Commit

5 years ago

feat(group_theory/submonoid/operations): transfer galois connection/insertion lemmas (#3657) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents

78fe862a

mathlib3 3ae6cea5 - feat(group_theory/submonoid/operations): transfer galois connection/insertion lemmas (#3657)

mathlib3
3ae6cea5 - feat(group_theory/submonoid/operations): transfer galois connection/insertion lemmas (#3657)