Comment on Formalization of the Solution to the Hopf ProblemComments−bamb00811dAn exposition of the Alpöge-Claude construction, by a mathematician working in this area: https://philip-engel.github.io/S6.pdf
Comments
An exposition of the Alpöge-Claude construction, by a mathematician working in this area: https://philip-engel.github.io/S6.pdf