|
|
|
|
|
|
by pfedor
4753 days ago
|
|
|
And just in case you weren't perfectly satisfied with the level of mathematical rigor of the article, here is a complete, formal, machine-verified and hyperlinked version of the proof: http://us.metamath.org/mpegif/eulerid.html |
|
|