Theorem CategoryTheory.hasLimitsEssentiallySmallSite

Modification history

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