Theorem FirstOrder.Language.BoundedFormula.inf_semanticallyEquivalent_not_sup_not

Modification history