Theorem Finpartition.card_filter_equitabilise_small

Modification history