Theorem CategoryTheory.GrothendieckTopology.WEqualsLocallyBijective.ofEssentiallySmall

Modification history

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