Theorem: usize_size_eq (Fixtures/Termination/Init/Prelude.lean)

State before:
⊢ Eq (hPow 2 32) 4294967296
Tactic:
decide
State after:
no goals

State before:
⊢ Eq (hPow 2 64) 18446744073709551616
Tactic:
decide
State after:
no goals