Theorem Set.biInter_lt_eq_iInter

Modification history

2024-10-22 22:22
Mathlib/Data/Set/Lattice.lean
feat: biSup, biInf, biUnion and biInter in NoMaxOrder (#17762)
Added Set.biInter_lt_eq_iInterView on Github →