# HG changeset patch
# User HackBot
# Date 1465361416 0
# Node ID 4d453e9a7250e54523a8e2a2dd137343e830af47
# Parent  21fc22051fcafc373bad4e3a6aea58ad7bb984b9
<shachaf> le/rn lambek\'s lemma/Lambek\'s Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.

diff -r 21fc22051fca -r 4d453e9a7250 wisdom/lambek's lemma
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/wisdom/lambek's lemma	Wed Jun 08 04:50:16 2016 +0000
@@ -0,0 +1,1 @@
+Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.