Commit 2025-06-23 08:19 df94cc8a
View on Github →feat(Analysis/Normed/Operator): continuity of forming ContinuousLinearMap coproducts pointwise (#26273)
Continuous(|On).clm_coprod shows that the pointwise coproduct of two continuous functions valued in a ContinuousLinearMap is itself continuous.