Theorem Rat.cast_ofNat

Modification history

2023-12-04 15:55
Mathlib/Data/Rat/Cast/Defs.lean
feat: rify tactic (#7990)
Added Rat.cast_ofNatView on Github →