Theorem FirstOrder.Language.BoundedFormula.imp_semanticallyEquivalent_not_sup

Modification history