Mathlib v3 is deprecated. Go to Mathlib v4

Theorem le_of_forall_lt

Modification history

2021-10-08 07:33

src/algebra/order/basic.lean

move(order/*): move from `algebra.order.` the files that aren't about algebra (#9562) …

Modified le_of_forall_lt View on Github →

2017-12-19 04:59

algebra/order.lean

feat(data/ordinal): sup, cofinality, subtraction

Added le_of_forall_lt View on Github →