Theorem CategoryTheory.Pretopology.isGLB_sInf

Modification history

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