homotopy invariance

  1. REDIRECTHomotopy