Theorem fermatLastTheoremThree

Modification history

2026-03-23 07:23

Mathlib/NumberTheory/FLT/Three.lean

chore(FLT/Three): remove `backward.privateInPublic` (#36982) …

Deleted fermatLastTheoremThree View on Github →

2024-07-16 09:12

Mathlib/NumberTheory/FLT/Three.lean

feat: prove Fermat's Last Theorem for `n=3` (#14653) …

Added fermatLastTheoremThree View on Github →