Theorem FirstOrder.Language.Theory.inf_imp_right

Modification history