Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test

Modification history

2021-04-07 06:34

test/monotonicity/test_cases.lean

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

Deleted test View on Github →

2020-07-08 20:57

test/monotonicity/test_cases.lean

fix(tactic/monotonicity): support monotone in mono (#3310) …

Added test View on Github →