Mathlib v3 is deprecated. Go to Mathlib v4

Theorem rat.of_int_eq_cast

Modification history

2022-11-09 03:23
src/data/rat/defs.lean
refactor(data/rat/defs): Use `int.cast` instead of `rat.of_int` (#17392) …
Added rat.of_int_eq_castView on Github →