Revision #1764 → #2934 · back to history
modifiedHamiltonian cycle of the cubical graph6be43ab624f4
| Field | From #1764 | To #2934 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedCubical graph is bipartite5c1ff7d27ad9
| Field | From #1764 | To #2934 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
modifiedCubical graph is not complete bipartited4fccf0360d7
| Field | From #1764 | To #2934 |
|---|
| mathlib.match_kind | — | generalization |
| provenance | ai | ai-moderated |
addedCube as three-dimensional hypercube in the polytope familyacad99bf827a
addedReflection and rotational symmetries of the cube4dd957a8d1f4
addedCube as Voronoi cell of a symmetric Delone set6ab0f394baeb
addedZonohedron88993c4cebe7
added3-torus as Cartesian product of three circles0527dfb6140f