Closure finiteness ascends along a finite extension `O → Oδ` acting on the same ring.

Initializing...

Closure finiteness ascends along a finite extension `O → Oδ` acting on the same ring. · Prove2Me