P
Initializing...
`BookProof.HalfLineLimitCircle.hlBumpTest_ne_zero` : hlBumpTest ≠ 0 · Prove2Me