Hopf problem: foundations · core 1 #
Supporting definitions and proofs for this stage of the six-sphere construction.
@[reducible, inline]
Integer matrices acting on the rank-four lattice used throughout the construction.
Supporting definitions and proofs for this stage of the six-sphere construction.
Integer matrices acting on the rank-four lattice used throughout the construction.