mathlib

18e55105 - fix(tactic/cancel_denoms): remove debug code (#10434)

fix(tactic/cancel_denoms): remove debug code (#10434) This code must not be used -- worth keeping, as it's a potentially useful function, but it shouldn't trace anything.