Theorem FirstOrder.Language.BoundedFormula.all_iff_not_ex_not

Modification history