Def UInt8.toChar

Modification history

2024-11-04 05:59

Mathlib/Data/UInt.lean

chore: bump toolchain to v4.14.0-rc1 (#18597) …

Modified UInt8.toChar View on Github →

2024-05-02 13:42

Mathlib/Data/UInt.lean

chore: move to v4.8.0-rc1 (#12548) …

Modified UInt8.toChar View on Github →

2021-05-09 05:35

Mathlib/Data/UInt.lean

feat(*): dumping my ForMathlib collection

Added UInt8.toChar View on Github →