Theorem FirstOrder.Language.BoundedFormula.induction_on_exists_not

Modification history