Claim: "John Wooden leads NCAA basketball all time in wins as a coach."
Is the claim above correct, and can it be verified by human common sense and without a web search?
Options:
- yes
- no
Reasoning: Mike Krzyzewski leads NCAA basketball all-time in wins as a coach.
Answer: no