blob_changes_v3
Wed, 12 Oct 2011 15:10:54 -0700 Kevin Walker operad action only up to homotopy; still need to think about this a bit
Tue, 05 Jul 2011 13:28:02 -0600 Kevin Walker fixing proof of 7.1.1 (product thm)
less more (0) -10 -2 tip