# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeApr 12th 2016

created an entry braid lemma with the statement and the application to the long exact sequence of a triple in (generalized) homology.

• CommentRowNumber2.
• CommentAuthorTodd_Trimble
• CommentTimeApr 12th 2016

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?

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeApr 12th 2016

Yes, I was thinking, too, that one should try to include in the page on the braid lemma a proof via the Salamander lemma.