mathlib3
5f46dd09 - fix(category_theory/limits): improve inaccurate docstrings (#12130)

Commit

3 years ago

fix(category_theory/limits): improve inaccurate docstrings (#12130)

Author

TwoFX

TwoFX

Parents

Loading