P
Initializing...
`segInvS 0 = 0` (round six, `segInvS_zero`) · Prove2Me