Theorem: Fin.ne_zero_iff_eq_one (ExponentialRamsey/Prereq/RamseyPrereq.lean)

State before:
⊢ ∀ {x : Fin 2}, x ≠ 0 ↔ x = 1
Tactic:
decide
State after:
no goals