P
Initializing...
`BookProof.HalfLineLimitCircle.deficiencyVec_ne_zero` : deficiencyVec ≠ 0 · Prove2Me