Theorem ENat.coe_iSup

Modification history

2023-09-04 13:19

Mathlib/Data/ENat/Lattice.lean

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

Modified ENat.coe_iSup View on Github →

2023-05-14 07:05

Mathlib/Data/ENat/Lattice.lean

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

Added ENat.coe_iSup View on Github →