mathlib
f1ad7a8b - docs(topology/sheaves): better docs for presheaf (#3596)

Commit

5 years ago

docs(topology/sheaves): better docs for presheaf (#3596) Add module doc-strings to two files. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents

35f1f637

mathlib f1ad7a8b - docs(topology/sheaves): better docs for presheaf (#3596)

mathlib
f1ad7a8b - docs(topology/sheaves): better docs for presheaf (#3596)