Theorem not_fermat_4

Modification history

2023-09-12 12:40
Mathlib/NumberTheory/FLT/Four.lean
feat: statement of Fermat's Last Theorem (#6508)
Deleted not_fermat_4View on Github →
2023-03-24 11:47
Mathlib/NumberTheory/Fermat4.lean
feat: port NumberTheory.Fermat4 (#3064)
Added not_fermat_4View on Github →