Theorem CompactlySupportedContinuousMap.coe_finsetInf'

Modification history

2025-02-03 07:17
Mathlib/Topology/ContinuousMap/CompactlySupported.lean
feat(Topology/ContinuousMap/CompactlySupported): add `partialOrder` (#21206) …
Added CompactlySupportedContinuousMap.coe_finsetInf'View on Github →