Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test_monotone

Modification history

2021-04-07 06:34

test/monotonicity/test_cases.lean

feat(tactic/monotonicity): Allow `@[mono]` on `strict_mono` lemmas (#7017) …

Added test_monotone View on Github →