Theorem: ByteArray.set_size (YatimaStdLib/ByteArray.lean)

State before:
arr : ByteArray
i : Fin (size arr)
u : UInt8
⊢ size (set arr i u) = size arr
Tactic:
simp [size, set]
State after:
no goals