Theorem FirstOrder.Language.Theory.imp_inf_iff

Modification history