Theorem ENat.sSup_mem_of_nonempty_of_lt_top

Modification history

2024-11-17 16:59
Mathlib/Data/ENat/Lattice.lean
refactor(ENat.Lattice): ENat.sSup_mem_of_nonempty_of_lt_top naming convention (#19147) …
Added ENat.sSup_mem_of_nonempty_of_lt_topView on Github →