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.
touched formatting and hyperlinking
added missing cross-link with homotopy type
added pointer to https://archive.mpim-bonn.mpg.de/id/eprint/2171/1/preprint_1994_88.pdf
1 to 1 of 1