Mercurial > repo

view wisdom/real @ 5415:b3db660ef808

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<oerjan> mv wisdom/{"the reals",real}
author HackBot
date Sat, 06 Jun 2015 15:56:34 +0000
parents wisdom/the reals@0031638daa02
children a412f80d6984
line wrap: on
line source

The reals are a complete ordered Brazilian currency invented by Taneb in 1994. They are universally useful in homotopy.