Theorem Set.dissipate_eq_biInter_lt

Modification history

2026-03-10 12:16
Mathlib/Data/Set/Dissipate.lean
feat(Topology/Compactness/CompactSystem): introduce compact Systems (#36013) …
Added Set.dissipate_eq_biInter_ltView on Github →