Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-17 06:35
d5ffcef1
View on Github →
fix: mdata in cancel_denoms (
#12083
) PR inspired by "automated bugs" (
#12054
).
Zulip thread
Estimated changes
Modified
Mathlib/Tactic/CancelDenoms/Core.lean
modified
def
CancelDenoms.findCompLemma
Modified
test/cancel_denoms.lean