∫ Утверждение Mathlib
mabs_apply
Mathlib.Topology.ContinuousMap.Lattice
URI: https://scilib.ai/kg/mathlib#ContinuousMap.mabs_apply
∫ Утверждение Mathlib
Mathlib.Topology.ContinuousMap.Lattice
URI: https://scilib.ai/kg/mathlib#ContinuousMap.mabs_apply