Theorem FirstOrder.Language.Theory.sup_imp_iff

Modification history