PR !4#14270: feat(FermatLastTheorem): Generalize FLT stat...

Stream: triage

[Random Issue Bot]

Today I chose PR 14270 for discussion!

feat(FermatLastTheorem): Generalize FLT statement
Created by @Jineon Baek (@jcpaik) on 2024-06-29
Labels: WIP, merge-conflict, new-contributor

Is this PR still relevant? Any recent updates? Anyone making progress?

[Ruben Van de Velde]

It has sorries, so presumably waiting for Jineon