Theorem FirstOrder.Language.BoundedFormula.ex_semanticallyEquivalent_not_all_not

Modification history