Theorem CategoryTheory.Presheaf.isSheaf_bot

Modification history

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