Theorem: Array.mem_finRange (LeanSAT/Upstream/ToMathlib.lean)

State before:
n : ℕ
x : Fin n
⊢ x ∈ finRange n
Tactic:
simp [finRange, mem_def]
State after:
no goals