Theorem FirstOrder.Language.Formula.imp_semanticallyEquivalent_not_sup

Modification history