Hopf problem: main theorem · six sphere cube 3

Supporting definitions and proofs for this stage of the six-sphere construction.

@[simp]

theorem Mathoverflow1973.SixSphereCube.zero_mem_cubeBoundary : 0 ∈ Cube.boundary (Fin 6)