Formalising the h-Principle and Sphere Eversion
Floris van Doorn, Patrick Massot, Oliver Nash · 2023
In differential topology and geometry, the h-principle is a property enjoyed by certain construction problems. Roughly speaking, it states that the only obstructions to the existence of a solution come from algebraic topology.