Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_map.prod_eval

Modification history

2021-12-30 14:54
src/topology/continuous_function/basic.lean
feat(topology/homotopy): Add homotopy product (#10946) …
Added continuous_map.prod_evalView on Github →