mathlib
7404f0ea - feat(algebra/pointwise): lemmas relating to submonoids (#4960)

Commit

5 years ago

feat(algebra/pointwise): lemmas relating to submonoids (#4960)

Author

fpvandoorn

fpvandoorn

Parents

Loading