Theorem Rat.natCast_div

Modification history

2024-05-16 09:18
Mathlib/Data/Rat/Lemmas.lean
feat: natCast versions of some Rat.intCast lemmas (#12814) …
Modified Rat.natCast_divView on Github →
2024-04-07 17:47
Mathlib/Data/Rat/Lemmas.lean
chore: Rename `coe_nat`/`coe_int`/`coe_rat` to `natCast`/`intCast`/`ratCast` (#11499) …
Added Rat.natCast_divView on Github →