Theorem Finpartition.card_filter_equitabilise_big

Modification history