rfindler/395-2013 — pull request #2 by maxsnew (2013-11-27 02:00:05+00:00)
Title: Finish Braun Tree Insert Complexity Proof

Pretty ugly, but at least it works!