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.
Just to suggest that this material might more usefully be a paragraph or a subsection in the page locator, instead of a stand-alone page.
Added section on lifting to Cauchy sequences of rational numbers, since Booij proved Cauchy sequences of rational numbers to be the same as locators. Also renaming page to “lifting a function” to accommodate the section on lifting functions to Cauchy sequences of rational numbers
Anonymouse
1 to 3 of 3