Spahn notes on elephant

Proposition 4.5.8, p.209: characterizes “every mono in EE factors (not necessarily uniquely) as a jj-closed followed by a jj-dense.”