Theorem FirstOrder.Language.BoundedFormula.IsQF.induction_on_inf_not

Modification history