Theorem CategoryTheory.GrothendieckTopology.mem_sInf

Modification history

2024-10-16 05:50
Mathlib/CategoryTheory/Sites/Grothendieck.lean
feat(CategoryTheory/Sites): infima of pretopologies (#17734) …
Added CategoryTheory.GrothendieckTopology.mem_sInfView on Github →