mathlib
ea3009f6 - docs(category_theory/*): the last missing module docs (#14237)

Commit

3 years ago

docs(category_theory/*): the last missing module docs (#14237) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents