knuton/la-girafe-sportive — pull request #20 by yfyf (2014-01-27 02:10:12+00:00)
Title: Admit-free proof of Postponement theorem

Guess what, I managed to push it all the way. I think I have ridiculous amounts of code duplication, but what the hell.

(Subsumes #19)