Theorem: Array.size_set! (LeanSAT/Upstream/ToStd.lean)

State before:
α : Type u_1
A : Array α
i : Nat
v : α
⊢ size (set! A i v) = size A
Tactic:
rw [set!, Array.size_setD]
State after:
no goals