Commit 2024-07-16 09:12 90ef20a2

View on Github →

feat: prove Fermat's Last Theorem for n=3 (#14653) We add fermatLastTheoremThree: Fermat's Last Theorem for n=3. From the flt3 project at LFTCM2024.

Estimated changes