Commit 2023-02-28 14:55 0422d4a6

View on Github →

chore: forward-port leanprover-community/mathlib#18421 (#2191)

Estimated changes

added theorem div_div_cancel_left'