Theorem FirstOrder.Language.BoundedFormula.IsQF.induction_on_sup_not

Modification history