Theorem: atLeastThreeSpiders (Fpil/Chap04/Sec04.lean)

State before:
⊢ NonEmptyList.inBounds idahoSpiders 2
Tactic:
simp
State after:
no goals