Theorem FiniteInter.finiteInterClosure_finiteInter

Modification history

2026-08-25 15:52
Mathlib/Data/Set/Constructions.lean
chore: don't inductively define sets (#42171) …
Modified FiniteInter.finiteInterClosure_finiteInterView on Github →
2023-01-17 08:03
Mathlib/Data/Set/Constructions.lean
chore: tidy various files (#1595)
Added FiniteInter.finiteInterClosure_finiteInterView on Github →