Theorem FirstOrder.Language.BoundedFormula.toPrenex_isPrenex

Modification history