∫ Утверждение Mathlib
toDFinsupp_lt_toDFinsupp
Mathlib.Data.DFinsupp.Multiset
URI: https://scilib.ai/kg/mathlib#Multiset.toDFinsupp_lt_toDFinsupp
∫ Утверждение Mathlib
Mathlib.Data.DFinsupp.Multiset
URI: https://scilib.ai/kg/mathlib#Multiset.toDFinsupp_lt_toDFinsupp