Theorem Nat.eq_Ici_of_nonempty_of_upward_closed

Modification history

2023-01-21 18:07
Mathlib/Data/Nat/Lattice.lean
feat: Port/Data.Nat.Lattice (#1751)
Added Nat.eq_Ici_of_nonempty_of_upward_closedView on Github →