lSpace Backward lambda-lemma and Morse filtrations (history)

November 12, 2012