Def CategoryTheory.sheafBotEquivalence

Modification history

2024-11-26 23:14
Mathlib/CategoryTheory/Sites/Sheaf.lean
refactor(CategoryTheory/Sites): remove SheafOfTypes (#19510) …
Added CategoryTheory.sheafBotEquivalenceView on Github →