Theorem: Fin.any_zero (Extra/Fin.lean)

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