Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-29 04:45 a443d8ba

View on Github →

feat(simp_nf): instructions for linter timeout (#3205)

Estimated changes

Modified src/tactic/lint/simp.lean

deleted theorem add_zero

deleted theorem zero_add_zero