Theorem PartENat.card_sum

Modification history