Theorem FirstOrder.Language.BoundedFormula.induction_on_all_ex

Modification history