Go back to the tag's page.
distinguishing transfinite induction and recursion
New macro: \Ext
Tags: Added new tags
BBD glueing lemma in topological spaces This is quite satisfying as no boundedness assumptions are used.