Theorem Finpartition.IsEquipartition.card_parts_eq_average

Modification history