Mathlib v3 is deprecated. Go to Mathlib v4

Theorem T.works

Modification history

2020-07-19 15:29

test/linarith.lean

fix(tactic/linarith): find correct zero_lt_one (#3455) …

Added T.works View on Github →