Commit 2023-03-18 11:56 4d87d121

View on Github →

chore: forward-port leanprover-community/mathlib#18598 (#2928)

Estimated changes

Modified Mathlib/Algebra/CharZero/Lemmas.lean

modified theorem Nat.cast_div_charZero

Modified Mathlib/Data/Int/Cast/Field.lean

modified theorem Int.cast_div

modified theorem Int.cast_neg_natCast

Modified Mathlib/Data/Int/CharZero.lean

modified theorem Int.cast_div_charZero

Modified Mathlib/Data/Nat/Cast/Field.lean

modified theorem Nat.cast_div

modified theorem Nat.cast_div_div_div_cancel_right