return to top
source
Geometry and verified arithmetic for the Conway–Soifer covering theorem at n = 3.