Thomson $N=7$: certificate data for the cap ($t_{01}\le-\tfrac{99}{100}$), part 2 of 2 · Prove2Me

P

Initializing...

Thomson $N=7$: certificate data for the cap ($t_{01}\le-\tfrac{99}{100}$), part 2 of 2 · Prove2Me