Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_iff_exists_sup

Modification history

2022-06-04 15:25
src/order/lattice.lean
feat(algebra/{lie/subalgebra,module/submodule/pointwise}): submodules and lie subalgebras form canonically ordered additive monoids under addition (#14529) …
Added le_iff_exists_supView on Github →