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