mathlib
fa652828 - chore(category_theory/monoidal): fix typo in docstrings (#4625)

Commit

5 years ago

chore(category_theory/monoidal): fix typo in docstrings (#4625) Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>

References

Author

jcommelin

Parents