Theorem FirstOrder.Language.BoundedFormula.sup_iff_not_inf_not

Modification history