Theorem FirstOrder.Language.BoundedFormula.IsQF.isPrenex

Modification history