blob to-do
changeset 802 e3ddb8605e32
parent 801 33b3e0c065d2
child 803 a96ffd48ea3d
--- a/blob to-do	Sun Jun 19 17:07:48 2011 -0600
+++ b/blob to-do	Sun Jun 19 17:31:34 2011 -0600
@@ -7,8 +7,6 @@
 * ** new material in colimit section needs a proof-read
 
 
-* should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable
-
 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
 
 * make sure we are clear that boundary = germ