Theorem Set.biInter_le_succ

Modification history

2023-10-07 16:42
Mathlib/Data/Nat/Lattice.lean
feat: lemmas about accumulate/partialSups/biUnion (#7562) …
Added Set.biInter_le_succView on Github →