Theorem FirstOrder.Language.card_relations_sum

Modification history