∫ Утверждение Mathlib
_aux_Mathlib_Topology_ContinuousMap_BoundedCompactlySupported___macroRules_BoundedContinuousFunction_termC_cb(_,_)_1
Mathlib.Topology.ContinuousMap.BoundedCompactlySupported
URI: https://scilib.ai/kg/mathlib#BoundedContinuousFunction._aux_Mathlib_Topology_ContinuousMap_BoundedCompactlySupported___macroRules_BoundedContinuousFunction_termC_cb(_,_)_1