Theorem FirstOrder.Language.BoundedFormula.sup_semanticallyEquivalent_not_inf_not

Modification history