package coq-amm11262
Problem 11262 of The American Mathematical Monthly
Install
Dune Dependency
Authors
Maintainers
Sources
v8.10.0.tar.gz
md5=c22c5bb5a94ed24b0cc9af5fa48b25a6
Description
Formalisation of Tonny Hurkens' proof of the problem 11262 of The American Mathematical Monthly 113(10), Dec. 2006 (see the README files)
On This Page