Theorem FirstOrder.Language.Formula.sup_iff_not_inf_not

Modification history