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