Theorem ENat.iSup_coe_lt_top

Modification history

2023-09-04 13:19

Mathlib/Data/ENat/Lattice.lean

feat: More complete lattice `WithTop` lemmas (#6947) …

Modified ENat.iSup_coe_lt_top View on Github →

2023-05-14 07:05

Mathlib/Data/ENat/Lattice.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added ENat.iSup_coe_lt_top View on Github →