Theorem FirstOrder.Language.BoundedFormula.sup_not_iff_top

Modification history