Theorem FirstOrder.Language.BoundedFormula.inf_iff_not_sup_not

Modification history