Theorem CompactlySupportedContinuousMap.inf_apply

Modification history

2025-02-03 07:17

Mathlib/Topology/ContinuousMap/CompactlySupported.lean

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

Added CompactlySupportedContinuousMap.inf_apply View on Github →