Mercurial > repo

log wisdom/lambek's lemma @ 10000:20ae0b28393e

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