A polynomial with a type over `O` has a type over the unramified extension `Oδ`. · Prove2Me

P

Initializing...

A polynomial with a type over `O` has a type over the unramified extension `Oδ`. · Prove2Me