Theorem FermatLastTheoremWith.mono

Modification history

2023-09-12 12:40
Mathlib/NumberTheory/FLT/Basic.lean
feat: statement of Fermat's Last Theorem (#6508)
Added FermatLastTheoremWith.monoView on Github →