https://exactmathematics.org/https://exactmathematics.org/about/https://exactmathematics.org/corrections/https://exactmathematics.org/licensing/https://exactmathematics.org/mathlibannex/https://exactmathematics.org/mathlibannex/projects/mankiewicz/https://exactmathematics.org/mathlibannex/projects/sphere-rigidity/https://exactmathematics.org/mathlibannex/releases/v0.1.0/https://exactmathematics.org/mathlibannex/releases/v0.2.0/https://exactmathematics.org/research/https://exactmathematics.org/research/sphere-rigidity/https://exactmathematics.org/verification/