Theorem UInt8.toChar_aux

Modification history

2024-05-02 13:42

Mathlib/Data/UInt.lean

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

Deleted UInt8.toChar_aux View on Github →

2021-05-09 05:35

Mathlib/Data/UInt.lean

feat(*): dumping my ForMathlib collection

Added UInt8.toChar_aux View on Github →