Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created an entry braid lemma with the statement and the application to the long exact sequence of a triple in (generalized) homology.
It’s not the most palatable proposition in the world. Someone should one day break down such propositions into more digestible components. The salamander lemma was apparently introduced as a tool for simplifying such homological algebra demonstrations; would this be the case here I wonder?
Yes, I was thinking, too, that one should try to include in the page on the braid lemma a proof via the Salamander lemma.
1 to 3 of 3