Def FirstOrder.Language.BoundedFormula.toPrenexImp

Modification history