Euler’s Polyhedron Formula in mizar (Q5747873)
From MaRDI portal
scientific article; zbMATH DE number 5785560
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Euler’s Polyhedron Formula in mizar |
scientific article; zbMATH DE number 5785560 |
Statements
Euler’s Polyhedron Formula in mizar (English)
0 references
14 September 2010
0 references
