Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous_within_at.prod_map

Modification history

2020-06-20 15:10
src/topology/continuous_on.lean
feat(*): random lemmas about sets and filters (#3118) …
Added continuous_within_at.prod_mapView on Github →