Theorem FirstOrder.Language.BoundedFormula.not_ex_isQF

Modification history