Mercurial > repo

view wisdom/perfunctory @ 11182:9d5983817909

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
<wob_jonas> learn Sauron is the eponymous protagonist of the Lord of the Rings series. He serves primarily as narrator and the main driver of the plot. His heroic exploits include the resurrection of the Kings of Men and the conquest of the racists of Gondor. He now leads the Illuminati from his pyramid fort /\xea\x99\xa9\\ .
author HackBot
date Sat, 02 Sep 2017 18:01:47 +0000
parents 1063e9a44522
children
line wrap: on
line source

A perfunctory proof is a category-theoretical proof that cites Per Martin-Löf.