TY  - RPRT
TI  - On a Detail in Hales's "Dense Sphere Packings: A Blueprint for Formal Proofs"
AU  - Nadja Scharf
PY  - 2017
UR  - https://arxiv.org/abs/1712.03568
ID  - 1712.03568
ER  -