mathlib
acc504e1 - docs(category_theory/*): add missing module docs (#9990)

Commit

4 years ago

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

Author

kim-em

Parents