Documentation
SpherePacking
.
MainTheorem
Search
return to top
source
Imports
Init
SpherePacking.Basic.E8
Imported by
SpherePacking
.
MainTheorem
source
theorem
SpherePacking
.
MainTheorem
:
SpherePackingConstant
8
=
E8.E8Packing
.
density