Oración 1: para una homotopía formula_27 natural en ambos formula_2 y formula_3 de modo que, además, cada uno de formula_30, formula_31, y formula_32 es cero
Oración 2: lo que se conocería como "dato" "de contracción" o retracción de homotopía
Conector: esto es
Relación: entailment
Género: articles