∫ Утверждение Mathlib
geomSum_le_geomSum_iff_toColex_le_toColex
Mathlib.Combinatorics.Colex
URI: https://scilib.ai/kg/mathlib#Finset.geomSum_le_geomSum_iff_toColex_le_toColex
∫ Утверждение Mathlib
Mathlib.Combinatorics.Colex
URI: https://scilib.ai/kg/mathlib#Finset.geomSum_le_geomSum_iff_toColex_le_toColex