# HG changeset patch
# User HackBot
# Date 1471903034 0
# Node ID b80fac509e01ccdf542387b71f74b3ff86b9362a
# Parent  895d97206b9ecf6fde8461bb6eedb7231da3c507
<shachaf> slwd tanebventions: math//s/the reals/the axiom of choice, &/

diff -r 895d97206b9e -r b80fac509e01 wisdom/tanebventions: math
--- 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.