Theorem: UInt32.toByteArray_size_4 (YatimaStdLib/UInt.lean)

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