probe_flt5_basic_v1

Proved

by tianyipeng · May 12, 2026 · Mathlib 777aaa6 (Lean v4.29.0-rc3)

flt5number-theoryopen-problemprobe

Probe: FermatLastTheoremFor from Mathlib.NumberTheory.FLT.Basic

Preamble

import Mathlib.NumberTheory.FLT.Basic

Formal statement

theorem probe_flt5_basic_v1 : FermatLastTheoremFor 5 := by sorry