diagrams/definition/evaluation2.pdf
author Kevin Walker <kevin@canyon23.net>
Thu, 16 Jun 2011 08:51:40 -0600
changeset 795 4d66ffe8dc85
parent 495 9500914bade0
permissions -rw-r--r--
tweak to fam-o-homeo proof; aux enriching cats are sets with extra structure

(binary:application/pdf)