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