00README.XXX
author Kevin Walker <kevin@canyon23.net>
Mon, 10 May 2010 19:34:59 -0700
changeset 261 1c408505c9f5
parent 8 15e6335ff1d4
permissions -rw-r--r--
finished def of module morphisms; still need to define (yet another) 'evaluation' map

nohypertex