∫ Утверждение Mathlib
support_sup_union_support_inf
Mathlib.Order.Preorder.Finsupp
URI: https://scilib.ai/kg/mathlib#Finsupp.support_sup_union_support_inf
∫ Утверждение Mathlib
Mathlib.Order.Preorder.Finsupp
URI: https://scilib.ai/kg/mathlib#Finsupp.support_sup_union_support_inf