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

Estimated changes