Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-03-19 17:43 48eacc63

View on Github →

chore(*): update to lean 3.42.0c (#12818)

Estimated changes

Modified leanpkg.toml

Modified src/tactic/interactive.lean

Modified test/induction.lean

added def less_than.lt_lte

deleted theorem less_than.lt_lte

Modified test/lint.lean

deleted theorem foo3

Modified test/lint_to_additive_doc.lean

added def bar

deleted theorem bar

added def baz

deleted theorem baz

added def foo

deleted theorem foo

added def no_to_additive

deleted theorem no_to_additive

added def quux

deleted theorem quux

Modified test/local_cache.lean