mathlib3
84f99388 - feat(category_theory/sites): sheaves on types (#5259)

Commit

5 years ago

feat(category_theory/sites): sheaves on types (#5259)

Author

kckennylau

kckennylau

Parents

Loading