Commit 2025-02-03 07:17 fd5d8573
View on Github →feat(Topology/ContinuousMap/CompactlySupported): left-composition with a continuous map (#21205)
Add compLeft
which gives g ∘ f : C_c(α, γ)
from g : C(β, γ)
, f : C_c(α, β))
.
feat(Topology/ContinuousMap/CompactlySupported): left-composition with a continuous map (#21205)
Add compLeft
which gives g ∘ f : C_c(α, γ)
from g : C(β, γ)
, f : C_c(α, β))
.