Theorem: Fin.iotaFind_zero (GMLInit/Data/Fin/Basic.lean)

State before:
n✝ n : Nat
⊢ (Fin.zero ⋯).iotaFind = List.Index.head
Tactic:
rfl
State after:
no goals