The fifth subchapter of his mathbox 20.26.5 is called "Projective spaces", but metamath-web shows the beginning of the chapter description as title.
On the official webpage the title is reported correctly: https://us.metamath.org/mpeuni/mmtheorems387.html#mm38680s
The sixth subchapter of his mathbox 20.26.6 is called "Equivalent formulations of Fermat's Last Theorem", but metamath-web shows the beginning of the chapter description as title.
On the official webpage the title is reported correctly: https://us.metamath.org/mpeuni/mmtheorems387.html#mm38700s
I still have to figure out if this is a set.mm problem or a metamath-web one, for now I report it here so that I don't forget about it.
This is the table of contents of the Mathbox for Steven Nguyen: https://metamath.tirix.org/mpests/toc?ref=1270
The first subchapter of his mathbox 20.26.1 is called "Utility theorems", but metamath-web shows "${" as title. On the official webpage the title is reported correctly: https://us.metamath.org/mpeuni/mmtheorems386.html#mm38560s
The fifth subchapter of his mathbox 20.26.5 is called "Projective spaces", but metamath-web shows the beginning of the chapter description as title. On the official webpage the title is reported correctly: https://us.metamath.org/mpeuni/mmtheorems387.html#mm38680s
The sixth subchapter of his mathbox 20.26.6 is called "Equivalent formulations of Fermat's Last Theorem", but metamath-web shows the beginning of the chapter description as title. On the official webpage the title is reported correctly: https://us.metamath.org/mpeuni/mmtheorems387.html#mm38700s