P
Initializing...
Extending the finitely supported kernel to the completion at `P i` recovers `J i`. · Prove2Me