Mathlib v3 is deprecated. Go to Mathlib v4

Structure category_theory.SheafOfTypes

Modification history

2021-12-16 21:36

src/category_theory/sites/sheaf_of_types.lean

refactor(category_theory/sites/*): Redefine the category of sheaves. (#10678) …

Added category_theory.SheafOfTypes View on Github →