Uniform soundness for the actual canonical field and register parameters, on the source's original coordinate type

Initializing...

Uniform soundness for the actual canonical field and register parameters, on the source's original coordinate type · Prove2Me