mathlib
821e7c89 - doc(category_theory/limits/has_limits): fix two docstrings (#13581)

Commit

3 years ago

doc(category_theory/limits/has_limits): fix two docstrings (#13581)

Author

jcommelin

jcommelin

Parents

Loading