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