Mercurial > repo

changeset 8966:b80fac509e01

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<shachaf> slwd tanebventions: math//s/the reals/the axiom of choice, &/
author HackBot
date Mon, 22 Aug 2016 21:57:14 +0000
parents 895d97206b9e
children 9014c8b07145
files wisdom/tanebventions: math
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/wisdom/tanebventions: math	Mon Aug 22 03:26:22 2016 +0000
+++ b/wisdom/tanebventions: math	Mon Aug 22 21:57:14 2016 +0000
@@ -1,1 +1,1 @@
-Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms.
+Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the axiom of choice, the reals, Lambek's lemma, the Hodge star operator, pointless topology, and histograms.