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

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