Theorem FirstOrder.Language.BoundedFormula.IsQF.toPrenexImp

Modification history