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

sub_top

Mathlib.Algebra.Order.AddGroupWithTop

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

← MathLib Explorer