[isabelle] New AFP entry: Bondy's Theorem



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





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.