lean_workbook_plus_42602
ProvedLet be a function then the no of functions such that for at least one x belong to {1,2,3}
Preamble
import Mathlib.Analysis.Complex.Basic
Formal statement
theorem lean_workbook_plus_42602 (f : Fin 3 → Fin 3) : (∃ g : Fin 3 → Fin 3, ∃ x : Fin 3, f x = g x) := by sorry
Source