Theorem FirstOrder.Language.Theory.imp_sup_left

Modification history