Theorem: Imo1962P1.helper_5_digit (Compfiles/Imo1962P1.lean)

State before:
c : ℤ
h : 6 * 10 ^ 5 + c = 4 * (10 * c + 6)
⊢ c = 15384
Tactic:
linarith
State after:
no goals