Mathlib v3 is deprecated. Go to Mathlib v4

Theorem char.of_nat_to_nat

Modification history

2021-03-16 19:18
src/data/char.lean
feat(data/buffer/parser/*): expand parser properties (#6339) …
Added char.of_nat_to_natView on Github →