Fermat’s Last Theorem in Lean on the Tech Tree