Theorem Finpartition.card_parts_equitabilise_subset_le

Modification history