# HG changeset patch
# User HackBot
# Date 1473381917 0
# Node ID f4216f694d5db90f713f92511e5133692dcf9d5b
# Parent  1dc9adaef6d56214df5d75b164e627c444e13414
<oerjan> slwd tanebventions: math//s/the axiom of choice, //

diff -r 1dc9adaef6d5 -r f4216f694d5d wisdom/tanebventions: math
--- a/wisdom/tanebventions: math	Fri Sep 09 00:44:00 2016 +0000
+++ b/wisdom/tanebventions: math	Fri Sep 09 00:45:17 2016 +0000
@@ -1,1 +1,1 @@
-Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the axiom of choice, the reals, Lambek's lemma, pointless topology, locales, and histograms.
+Mathematical tanebventions include D-modules, Chu spaces, the torus, Stephen Wolfram, Klein bottles, the reals, Lambek's lemma, pointless topology, locales, and histograms.