Theorem: UInt64.toByteArray_size_8 (YatimaStdLib/UInt.lean)

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