Theorem FirstOrder.Language.Formula.imp_iff_not_sup

Modification history