Theorem CompactlySupportedContinuousMap.compLeft_apply

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.compLeft_applyView on Github →