Theorem CategoryTheory.Sheaf.isGrothendieckAbelian_of_essentiallySmall

Modification history

2025-10-28 20:32
Mathlib/CategoryTheory/Abelian/GrothendieckAxioms/Sheaf.lean
chore(CategoryTheory/EssentiallySmall): adding an instance (#30534) …
Added CategoryTheory.Sheaf.isGrothendieckAbelian_of_essentiallySmallView on Github →