# HG changeset patch
# User HackBot
# Date 1490175487 0
# Node ID d3a12978331a8e7af3f6f4e46a4328be9f674cc5
# Parent  467397400b96365ee19ee41e485ca50cc4ba5242
<shachaf> le/rn_append lambek\'s lemma//It can be proved with as few as five arrows.

diff -r 467397400b96 -r d3a12978331a wisdom/lambek's lemma
--- a/wisdom/lambek's lemma	Wed Mar 22 07:59:28 2017 +0000
+++ b/wisdom/lambek's lemma	Wed Mar 22 09:38:07 2017 +0000
@@ -1,1 +1,1 @@
-Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.
+Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. It can be proved with as few as five arrows.