Homotopy principle (source code)

= Homotopy principle
{wiki=Homotopy_principle}