GitHub PushEvent at 2014-07-06 17:00:45
Repository: Notes
Actor: mjdonovan
Payload: {"shas":[["231b38a8485284f2413a52d22194c73bdf3d5e5b","b22255287661ae096df06982db481912cc1e2d0f@math.mit.edu","Writing up multiplicativity proof.","Michael Donovan",true]],"size":1,"ref":"refs/heads/master","head":"231b38a8485284f2413a52d22194c73bdf3d5e5b"}