# HG changeset patch
# User HackBot
# Date 1500512206 0
# Node ID c47748ca69d92b631215cab52b9875aecf52b415
# Parent  6f772fb2ef6fd3b46077e273bd7cbda68781dc05
<shachaf> le/rn diagram chasing//Diagram chasing is a technique used to prove integer lemmas. Taneb invented it.

diff -r 6f772fb2ef6f -r c47748ca69d9 wisdom/diagram chasing
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/diagram chasing	Thu Jul 20 00:56:46 2017 +0000
@@ -0,0 +1,1 @@
+Diagram chasing is a technique used to prove integer lemmas. Taneb invented it.