Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.sum_elim

Modification history

2022-07-12 16:39
src/topology/constructions.lean
chore(*): improve some definitional equalities (#15083) …
Added continuous.sum_elimView on Github →