Theorem Finpartition.card_eq_of_mem_parts_equitabilise

Modification history