Theorem: ASCII.Char.ofUnicode_toUnicode (ASCII/Lemmas.lean)

State before:
c : ASCII.Char
⊢ ofUnicode ↑c ⋯ = c
Tactic:
rw [← toUnicode_eq_iff_ofUnicode_eq]
State after:
no goals