Theorem FirstOrder.Language.card_eq_card_functions_add_card_relations

Modification history