∫ Утверждение Mathlib
isEquipartition_iff_card_parts_eq_average
Mathlib.Order.Partition.Equipartition
URI: https://scilib.ai/kg/mathlib#Finpartition.isEquipartition_iff_card_parts_eq_average
∫ Утверждение Mathlib
Mathlib.Order.Partition.Equipartition
URI: https://scilib.ai/kg/mathlib#Finpartition.isEquipartition_iff_card_parts_eq_average