Mercurial > repo
log wisdom/lambek's lemma @ 11624:712b78c987cf draft
age | author | description |
---|---|---|
Wed, 22 Mar 2017 09:38:07 +0000 | HackBot | <shachaf> le/rn_append lambek\'s lemma//It can be proved with as few as five arrows. |
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. |