torus = two circles proof cleanup
authorDan Licata <drl@cs.cmu.edu>
Fri, 1 May 2015 17:36:42 +0000 (13:36 -0400)
committerDan Licata <drl@cs.cmu.edu>
Fri, 1 May 2015 17:36:42 +0000 (13:36 -0400)
commitdd84f8b4ffeb994962ed8fc293fc5c9de5ee7739
treee3c0079c765b21ebad69aae4705d97911b6e6779
parent81c8205dbb9f0aee98d7257e3dcfa6bc1f485a65
torus = two circles proof cleanup
examples/torus.ctt