Def FirstOrder.Language.BoundedFormula.toPrenexImpRight

Modification history