Theorem FirstOrder.Language.Theory.imp_sup_right

Modification history