Theorem Set.biInter_ge_eq_iInf

Modification history

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