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

State before:
bytes : ByteArray
i n : Nat
⊢ size (slice bytes i n) = n
Tactic:
simp [slice, sliceL, sliceL.aux, sliceL.aux_size, ByteArray.size]
State after:
no goals