Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.sum_map

Modification history

2022-09-19 07:18
src/topology/constructions.lean
refactor(topology/constructions): golf, add `@[simp]`/`iff` variants (#16539)
Modified continuous.sum_mapView on Github →
2022-07-12 16:39
src/topology/constructions.lean
chore(*): improve some definitional equalities (#15083) …
Added continuous.sum_mapView on Github →