Theorem FirstOrder.Language.card_sum

Modification history