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(α, β)).