Theorem FiniteInter.mk₂

Modification history

2025-03-10 22:05
Mathlib/Data/Set/Constructions.lean
chore: more whitespace fixes (#22808) …
Modified FiniteInter.mk₂View on Github →
2024-07-15 16:11
Mathlib/Data/Set/Constructions.lean
feat(Mathlib/Topology/Bases): subbasis closed under intersection is a basis (#12221) …
Added FiniteInter.mk₂View on Github →