Theorem CompactlySupportedContinuousMap.coe_sup

Modification history

2025-02-03 07:17

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

feat(Topology/ContinuousMap/CompactlySupported): add `partialOrder` (#21206) …

Added CompactlySupportedContinuousMap.coe_sup View on Github →