Theorem FirstOrder.Language.BoundedFormula.ex_iff_not_all_not

Modification history