Theorem FirstOrder.Language.Formula.inf_iff_not_sup_not

Modification history