Theorem FirstOrder.Language.BoundedFormula.IsPrenex.induction_on_all_not

Modification history