Mathlib Changelog
v4
Changelog
About
Github
Commit
2022-07-12 10:11
aa176e5d
View on Github →
chore: bump to 2022-07-12 (
#301
)
Estimated changes
Modified
Mathlib/Init/Logic.lean
deleted
theorem
And.comm
Modified
Mathlib/Lean/Expr/Basic.lean
Modified
Mathlib/Lean/Expr/Traverse.lean
Modified
Mathlib/Tactic/Alias.lean
Modified
Mathlib/Tactic/LibrarySearch.lean
Modified
Mathlib/Tactic/Lint/Basic.lean
Modified
Mathlib/Tactic/Lint/Simp.lean
Modified
Mathlib/Tactic/NormNum.lean
Modified
Mathlib/Tactic/RestateAxiom.lean
Modified
Mathlib/Tactic/Ring.lean
Modified
Mathlib/Tactic/ToAdditive.lean
Modified
Mathlib/Testing/SlimCheck/Testable.lean
Modified
Mathlib/Util/Export.lean
Modified
lean-toolchain