Mercurial > repo
changeset 8401:4d453e9a7250
<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