Mercurial > repo
log wisdom/lambek's lemma @ 8572:abcbf0afc6ff
age | author | description |
---|---|---|
Wed, 08 Jun 2016 04:50:16 +0000 | HackBot | <shachaf> le/rn lambek\'s lemma/Lambek\'s Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. |