jovas

But not an expert on this.

While I don't know the specifics, and someone more "in-the-field" than me would recognize all the "named" theorems etc

I am aware that there have been minor issues that have come up with the formalization specifically, and that previous proofs for lower values of n were always needed.

Though it used to be n=5 and lower needed to be checked.

While the atmosphere is a big problem, even without this issue the rotation would be problematic.

In the original theatrical cut, Salieri is a deeply flawed but fascinating character—a man consumed by jealousy, yet also in awe of Mozart’s genius. His sabotage of Mozart is tragic, not just because of what it does to Mozart, but because Salieri himself recognizes the beauty he is trying to destroy. There’s a complexity there: Salieri hates Mozart, but he also admires him. He wishes, more than anything, that he could be his friend, but he cannot overcome his own bitterness.

The extended edition, however, adds a crucial change: Salieri doesn’t just work against Mozart—he actively humiliates Mozart’s wife, Constanze. This transforms Salieri from a tormented, conflicted figure into something much simpler: a villain. Instead of a man waging a war against God through Mozart, he’s just a petty, lecherous schemer.

The real Antonio Salieri was not some scheming villain—he was a respected composer, teacher, and conductor who mentored some of the greatest musicians of the next generation, including Beethoven, Schubert, and Liszt.

So it is more likely that Fermat saw n=4, and thought the rest would be similar.

Seems relevant

I LaTeX, Git, and emacs every day.

https://ximera.osu.edu/mooculus

https://ximera.osu.edu/introduction

you can see how to make your own materials.

There is a set of example environments here:

https://ximera.osu.edu/examples/exampleActivityCollection

Ximera allows authors to write online interactive texts, that can serve as the HW system for a class.

The student's work can be directly sent to the grade book via LTI.

Moreover, you can simultaneously produce a PDF that looks like a traditional text.

http://www.lulu.com/shop/the-ohio-state-university-math-depa...

Which nobody needs to buy, since the PDF generating the text is freely available.

Regardless, if throw out POTUS and VP, we are left with Pompeo and Ross as the two highest.

Source: https://github.com/mooculus

Linear algebra: https://ximera.osu.edu/laode/linearAlgebra