Theorem CategoryTheory.hasSheafifyEssentiallySmallSite

Modification history

2025-10-28 20:32
Mathlib/CategoryTheory/Sites/Equivalence.lean
chore(CategoryTheory/EssentiallySmall): adding an instance (#30534) …
Added CategoryTheory.hasSheafifyEssentiallySmallSiteView on Github →