Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rat.coe_int_num_of_denom_eq_one

Modification history