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