mathlib

7073c8b9 - feat(tactic/cancel_denoms): try to remove numeral denominators (#3109)

feat(tactic/cancel_denoms): try to remove numeral denominators (#3109) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com> Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>