Homotopy extension property

From Free net encyclopedia