Commit 2024-11-18 05:00 5750078e

View on Github →

fix: linarith handling of decimals (#19174) Zulip

Estimated changes

Modified Mathlib/Analysis/Normed/Ring/Units.lean

Modified Mathlib/Combinatorics/Additive/AP/Three/Behrend.lean

Modified Mathlib/Tactic/CancelDenoms/Core.lean

added theorem CancelDenoms.derive_trans₂

Modified Mathlib/Tactic/Linarith/Preprocessing.lean

Modified MathlibTest/linarith.lean