mathlib3
a7f268b8 - fix(category_theory/limits/shapes): doc typo [ci skip] (#1406)

Commit

6 years ago

fix(category_theory/limits/shapes): doc typo [ci skip] (#1406)

References

#1406 - fix(category_theory/limits/shapes): doc typo [ci skip]

Author

rwbarton

rwbarton

Committer

ChrisHughes24

ChrisHughes24

Parents

Loading