Theorem FirstOrder.Language.BoundedFormula.imp_iff_not_sup

Modification history