Mercurial > repo

view wisdom/lambek's lemma @ 9401:7ad94f9b88a0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<Zarutian> le/rn religious nut/ This nut should never be eaten as it make people think they are pious but it actually doesnt. Found on the burning bush.
author HackBot
date Sat, 22 Oct 2016 21:56:49 +0000
parents 4d453e9a7250
children d3a12978331a
line wrap: on
line source

Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses.