research
∙
10/14/2022
Formalising the h-principle and sphere eversion
In differential topology and geometry, the h-principle is a property enj...
research
∙
10/27/2019