September 28, hours 7-8: The Butterfly and Jordan-Holder
September-21-10
12:42 PM
[link]
Added April 4, 2011: Is this the same as the "Diamond Lemma" proof alluded to at [link]?