Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.mod_nat_eq_sub_mul_floor_rat_div

Modification history