Theorem ENat.iInf_coe_ne_top

Modification history

2023-09-08 15:47

Mathlib/Data/ENat/Lattice.lean

chore: tidy various files (#7035)

Modified ENat.iInf_coe_ne_top View on Github →

2023-09-04 13:19

Mathlib/Data/ENat/Lattice.lean

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

Added ENat.iInf_coe_ne_top View on Github →