Theorem: Imo1974P5.T0 (Compfiles/Imo1974P5.lean)

State before:
⊢ T 0 = 1
Tactic:
norm_num [T, S]
State after:
no goals