Theorem FirstOrder.Language.BoundedFormula.iff_toPrenex

Modification history