Mathlib Changelog
v4
Changelog
About
Github
Commit
2021-08-19 18:21
83bd4cad
View on Github →
perf(Tactic/Ring) : optimizations (
#41
)
Estimated changes
Modified
Mathlib/Tactic/NormNum.lean
Modified
Mathlib/Tactic/Ring.lean
added
def
Tactic.Ring.mkAppCS