Theorem FirstOrder.Language.BoundedFormula.IsQF.not

Modification history