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

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