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

coe_supportAddSubgroup

Mathlib.Algebra.Order.Ring.Ordering.Defs

URI: https://scilib.ai/kg/mathlib#RingPreordering.coe_supportAddSubgroup

← MathLib Explorer