Theorem: IntegersInACircle.lemma1 (Compfiles/IntegersInACircle.lean)

State before:
a : ℤ
h1 : a % 100 = 0
h2 : 0 < a
h3 : a < 300
⊢ a = 200 ∨ a = 100
Tactic:
omega
State after:
no goals