Mercurial > repo

changeset 8401:4d453e9a7250

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<shachaf> le/rn lambek\'s lemma/Lambek\'s Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.
author HackBot
date Wed, 08 Jun 2016 04:50:16 +0000
parents 21fc22051fca
children 9b47e0eccda3
files wisdom/lambek's lemma
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /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.