Theorem CompactlySupportedContinuousMap.lt_def

Modification history

2025-02-03 07:17

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

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

Added CompactlySupportedContinuousMap.lt_def View on Github →