Theorem FirstOrder.Language.empty_card

Modification history