Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-11-26 21:03
4e2498ef
View on Github →
chore: implement simp_rw config matching better (
#8592
)
Estimated changes
Modified
Mathlib/Tactic/SimpRw.lean