Mathlib v3 is deprecated. Go to Mathlib v4

Theorem test6

Modification history

2020-06-15 20:59
test/linarith.lean
feat(tactic/linarith): nlinarith tactic (#2637) …
Deleted test6View on Github →
2020-06-14 15:09
test/linarith.lean
perf(tactic/linarith): use key/value lists instead of rb_maps to represent linear expressions (#3004) …
Added test6View on Github →