Algebra types descend along an unramified extension `O → Oδ` of degree `δ`, scaled by `δ`.

Initializing...

Algebra types descend along an unramified extension `O → Oδ` of degree `δ`, scaled by `δ`. · Prove2Me