Theorem FirstOrder.Language.Formula.sup_semanticallyEquivalent_not_inf_not

Modification history