https://exactmathematics.org/https://exactmathematics.org/about/https://exactmathematics.org/corrections/https://exactmathematics.org/licensing/https://exactmathematics.org/mathlibannex/https://exactmathematics.org/mathlibannex/cards/078cf36ae52c92c7dc2f32abc038c608c14c167df35f6f1db0514b019f459281/https://exactmathematics.org/mathlibannex/cards/0cfc0bfe5c6e6e9641207ba94e1890139d7e6a138ab41f3ea638d101cd0bfb04/https://exactmathematics.org/mathlibannex/cards/30b5b915102151510645ff9e55aef46c99b259d2cb09540049f2b73b0eb07373/https://exactmathematics.org/mathlibannex/cards/45c4db7ff375613be920f48ef4a7427063daaa3084fa98c5dd90c595522e7428/https://exactmathematics.org/mathlibannex/cards/4a485c9aabdc6f37ae97b47bfba6021a6bedf685894a44120f0290571e459c36/https://exactmathematics.org/mathlibannex/cards/92f93cdb5b6da9a1e1a1837b4e8470509909095a54e82328e641ff0b3c842995/https://exactmathematics.org/mathlibannex/cards/b6295e62b69808246ec83346365d7b0e00269f627c02dcd6ce3d253fb920949a/https://exactmathematics.org/mathlibannex/cards/c2f8d7f019c50fb6f9c50efe6fa6ba6cb03392611bc794c16ab04a68a88630e3/https://exactmathematics.org/mathlibannex/cards/d53fe8e4dd14b54afcbe429368e93867012aae1050cc51eff076031144a34aed/https://exactmathematics.org/mathlibannex/cards/d802849b06652256f387426dabbf331ecbd04b5b96f2c15ca4bdaffbf30d6a87/https://exactmathematics.org/mathlibannex/cards/e55f926ea1e3391b9a6426100e98fe7349c95254cdc2437a77d973137bea95c8/https://exactmathematics.org/mathlibannex/catalog/https://exactmathematics.org/mathlibannex/overviews/mankiewicz/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/