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.
i have split off (copied over) the paragraph on the first uncountable ordinal from countable ordinal to first uncountable ordinal, just in order to make it possible to link to “first uncountable ordinal” more directly. Cross-linked with long line.
I will add, later, the fact that the tangent bundles of the long ray and long line are a) not trivial, and b) not classified by any map to .
removed spam. See nforum other spam by same author
1 to 3 of 3