Theorem CompactlySupportedContinuousMap.coe_compLeft

Modification history

2025-02-03 07:17
Mathlib/Topology/ContinuousMap/CompactlySupported.lean
feat(Topology/ContinuousMap/CompactlySupported): left-composition with a continuous map (#21205) …
Added CompactlySupportedContinuousMap.coe_compLeftView on Github →