Theorem FirstOrder.Language.BoundedFormula.IsQF.toPrenexImpRight

Modification history