Commit 2023-07-04 14:43 85af2e41
View on Github →feat: composition of ContinuousMaps is inducing (#5652)
If g : C(β, γ) is inducing, then fun f : C(α, β) ↦ g.comp f is inducing.
feat: composition of ContinuousMaps is inducing (#5652)
If g : C(β, γ) is inducing, then fun f : C(α, β) ↦ g.comp f is inducing.