Theorem CategoryTheory.Pretopology.sInf_ofGrothendieck

Modification history

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