Why the Mittag-Leffler condition on a short exact sequence of, say,  abelian groups, that ensures that the first derived functor of the inverse limit vanishes, is so named?