Theorem CategoryTheory.GrothendieckTopology.pullback_mem_iff_of_isIso

Modification history

2024-07-24 04:05
Mathlib/CategoryTheory/Sites/Grothendieck.lean
feat(CategoryTheory/Sites): Sieves under equivalences. (#15063)
Added CategoryTheory.GrothendieckTopology.pullback_mem_iff_of_isIsoView on Github →