ms: Ini bermakna bahawa kesetaraan homotopik antara M, W dan N adalah homotopi C-isomorfisme. Ini bermakna bahawa kesetaraan homotopik antara M, W, dan N adalah homotopi kepada C-isomorfisme.
en: This means that the homotopic equivalence between M , W and N is a homotopy of a C-isomorphism . This means that the homotopic equivalence between M , W , and N is homotopy to a C-isomorphism .