Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.monotone_eval

Modification history

2021-10-03 20:33

src/order/basic.lean

split(order/monotone): split off `order.basic` (#9518)

Modified function.monotone_eval View on Github →

2021-08-03 11:13

src/order/basic.lean

feat(order/bounds): add `is_lub_pi` and `is_glb_pi` (#8521)

Added function.monotone_eval View on Github →