2024-02-27 06:22
Mathlib/CategoryTheory/Sites/Coherent/Equivalence.lean
feat(CategoryTheory/Sites): coherent and regular topologies respect equivalences of categories (#10013) …
Added CategoryTheory.Equivalence.preregular_isSheaf_iff_of_essentiallySmall