Theorem CategoryTheory.Pretopology.mem_inf

Modification history

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