Theorem Fermat42.exists_pos_odd_minimal

Modification history

2023-03-24 11:47
Mathlib/NumberTheory/Fermat4.lean
feat: port NumberTheory.Fermat4 (#3064)
Added Fermat42.exists_pos_odd_minimalView on Github →