5
votes
1answer
117 views

Is There a Formalization of Cauchy's $F - E+V = 2$ proof?

Can anyone provide, or direct me to a formalized version of Cauchy's proof that for any convex polyhedron with $F$ faces, $E$ edges and $V$ vertices that $F - E + V = 2$. I am willing to accept the ...
2
votes
0answers
132 views

3-manifold theorem reference request or proof

The following is a theorem of which I have great interest in but cannot find anything about on the internet, Every 3-manifold of finite volume comes from identifying sides of some polyhedron I'm ...