Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-02-11 09:22 ddbfecf5

View on Github →

feat(topology/continuous_function): lemmas on infinite sums of continuous functions (#18424) A lemma (in three variants) about evaluating infinite sums of continuous functions at a point. Split off from #18392.

Estimated changes