Mathlib v3 is deprecated. Go to Mathlib v4

Def continuous_map.homotopy.pi

Modification history

2022-02-22 10:50
src/topology/homotopy/product.lean
refactor(topology/*): Hom classes for continuous maps/homs (#11909) …
Modified continuous_map.homotopy.piView on Github →
2021-12-30 14:54
src/topology/homotopy/product.lean
feat(topology/homotopy): Add homotopy product (#10946) …
Added continuous_map.homotopy.piView on Github →