Theorem Nat.iSup_le_succ'

Modification history

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