Paraphrase: This means that the homotopy equivalence between M , W , and N is homotopic to a C-isomorphism .
This means that the homotopic equivalence between M , W and N is homotopically a C-isomorphism .