Theorem: UInt16.toByteArray_size_2 (YatimaStdLib/UInt.lean)

State before:
n : UInt16
⊢ ByteArray.size (toByteArray n) = 2
Tactic:
simp [ByteArray.size, Array.size, List.length]
State after:
no goals