Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2018-09-09 20:45
181905e0
View on Github →
refactor(tactic/linarith): refactoring
Estimated changes
Modified
data/prod.lean
Modified
meta/rb_map.lean
Modified
tactic/linarith.lean
modified
theorem
linarith.add_subst
deleted
def
linarith.alist_lt
modified
def
linarith.ineq.is_lt
modified
def
linarith.ineq.to_string
modified
theorem
linarith.mul_subst
deleted
def
linarith.reduce_pair_option
modified
theorem
linarith.sub_subst