Def CompactlySupportedContinuousMap.continuousMapEquiv

Modification history

2025-10-21 13:36

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

chore(CompactlySupported): rename ContinuousMap.liftCompactlySupported (#30726)

Added CompactlySupportedContinuousMap.continuousMapEquiv View on Github →