Theorem FirstOrder.Language.card_empty

Modification history