knuton/la-girafe-sportive — pull request #4 by yfyf (2013-12-10 22:11:04+00:00)
Title: Proof of lemma 3

Yup