Theorem FirstOrder.Language.Theory.inf_imp_left

Modification history