view wisdom/lambek's lemma @ 12478:4d3cf4a9f47f draft

<wib_jonas> `` hg log --removed -r 12473: -T "u\\n" -l 1 /hackenv/wisdom/password | grep -q || slashlearn \'password//The password of the month is up against his power, they were just like bugs.\'
author HackEso <hackeso@esolangs.org>
date Wed, 01 Mar 2023 11:51:23 +0000
parents d3a12978331a
children
line wrap: on
line source

Lambek's Lemma, invented by Joachim "Taneb" Lambek, states that initial algebras have inverses. It can be proved with as few as five arrows.