|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Message
|
|
|
| ``Re: Nested prooves by contraction?''
by PrimeFan on 2008-07-02 18:13:05 |
|
| | Thanks for the example. Our PM entry here says the proof is 255 pages long. The link you provide to Project Euclid leads to a document that is not that long, but it does look quite convoluted. |
| | [ reply | up | top ] | |
|
|
|
|
|
|
|
