Paraphrase: 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 .