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