Mercurial > repo

log wisdom/lambek's lemma @ 12246:f3be034784d0 draft

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | (0) tip
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.
less more | (0) tip