∫ Утверждение Mathlib
Mathlib.Algebra.Order.Group.Unbundled.Abs
URI: https://scilib.ai/kg/mathlib#mabs_le_mabs
← MathLib Explorer