Commit 2023-06-29 19:22 3ec9bf62

View on Github →

fix: bug fixes to rw? (#5563) As reported on zulip

Estimated changes

Modified Mathlib/Lean/Meta/DiscrTree.lean

Modified Mathlib/Tactic/Rewrites.lean

Modified test/rewrites.lean

added def foo

added theorem six_eq_seven