Theorem Finpartition.card_parts_equitabilise

Modification history