Theorem FirstOrder.Language.card_withConstants

Modification history