Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-06-16 15:46 988f160d

View on Github →

fix(data/rat/basic): Remove incorrect simp attribute (#14765) Remove simp attribute that breaks field_simp.

Estimated changes

modified theorem rat.coe_int_div_eq_mk