Theorem CompactlySupportedContinuousMap.finsetInf'_apply

Modification history

2025-02-03 07:17

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

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

Added CompactlySupportedContinuousMap.finsetInf'_apply View on Github →