From: Tobias Nipkow <nipkow@in.tum.de>
by Jeremy Avigad and Stefan Hetzl
A proof of Bondy's theorem following B. Bollabas, Combinatorics, 1986, Cambridge
University Press.
http://afp.sourceforge.net/entries/Bondy.shtml
Last updated: Feb 01 2025 at 20:19 UTC