P
Initializing...
Local-coordinate polynomial embeds as evaluation at truncated-log coordinates · Prove2Me