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

State before:
⊢ 0 < 32
Tactic:
norm_num
State after:
no goals