Theorem CompactlySupportedContinuousMap.coe_inf

Modification history

2025-02-03 07:17

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

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

Added CompactlySupportedContinuousMap.coe_inf View on Github →