Mathlib v3 is deprecated. Go to Mathlib v4

Theorem monovary_on_self

Modification history

2022-04-10 12:36

src/order/monovary.lean

feat(order/monovary): Add missing `monovary` lemmas (#13243) …

Modified monovary_on_self View on Github →

2021-12-21 07:22

src/order/monovary.lean

feat(order/monovary): Monovariance of a pair of functions. (#10890) …

Added monovary_on_self View on Github →