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

State before:
c : ASCII.Char
⊢ c.isUpper = true ↔ 65 ≤ c.toNat ∧ c.toNat ≤ 90
Tactic:
simp [isUpper]
State after:
c : ASCII.Char
⊢ 65 ≤ c.toByte ∧ c.toByte ≤ 90 ↔ 65 ≤ c.toNat ∧ c.toNat ≤ 90

State before:
c : ASCII.Char
⊢ 65 ≤ c.toByte ∧ c.toByte ≤ 90 ↔ 65 ≤ c.toNat ∧ c.toNat ≤ 90
Tactic:
rfl
State after:
no goals