Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test_strict_mono

Modification history

2021-04-07 06:34
test/monotonicity/test_cases.lean
feat(tactic/monotonicity): Allow `@[mono]` on `strict_mono` lemmas (#7017) …
Added test_strict_monoView on Github →