∫ Утверждение Mathlib

neg_top

Mathlib.Algebra.Order.AddGroupWithTop

URI: https://scilib.ai/kg/mathlib#WithTop.LinearOrderedAddCommGroup.neg_top

← MathLib Explorer