christian_slides.pdf
author wu
Tue, 14 Dec 2010 14:31:31 +0000
changeset 27 90a57a533b0c
parent 20 5927cad145a6
permissions -rw-r--r--
Add new file for the new definition of the hard direction's simplification. Merging Operation is deleted All definitions are done. Proof still undone.