Theorem: Imo2006P3.four_pow_four_pos (Compfiles/Imo2006P3.lean)

State before:
⊢ 0 < 4 ^ 4
Tactic:
norm_num
State after:
no goals