mathlib
9507a34f - chore(category_theory/limits/creates): fix typo in docstring (#6738)

Commit

4 years ago

chore(category_theory/limits/creates): fix typo in docstring (#6738)

Author

b-mehta

b-mehta

Parents

Loading