annotate wisdom/preorder @ 11366:6b397cda825b

<shachaf> undo 11356
author HackBot
date Wed, 28 Feb 2018 01:54:09 +0000
parents 7f957c1f4661
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4531
7f957c1f4661 <oerjan> revert
HackBot
parents:
diff changeset
1 A preorder is just a small thin category.