Theorem: Imo1960P1.searchUpTo_start (Compfiles/Imo1960P1.lean)

State before:
n : ℕ
h : n < 99
p : ProblemPredicate n
⊢ SolutionPredicate n
Tactic:
linarith [ge_100 p]
State after:
no goals