∫ Утверждение Mathlib
Mathlib.Topology.MetricSpace.IsometricSMul
URI: https://scilib.ai/kg/mathlib#edist_div_right
← MathLib Explorer