Theorem FirstOrder.Language.Theory.sup_imp

Modification history