Theorem Char.ofNat_toNat

Modification history

2024-06-07 03:20
Mathlib/Data/Char.lean
chore: merge bump/v4.9.0 (#13584) …
Deleted Char.ofNat_toNatView on Github →
2022-11-17 18:45
Mathlib/Data/Char.lean
feat: port data.char (#609) …
Added Char.ofNat_toNatView on Github →