Theorem: Fin.all_zero (Extra/Fin/Basic.lean)

State before:
p : Fin 0 → Bool
⊢ Fin.all p = true
Tactic:
simp [Fin.all]
State after:
no goals