For `k < a`, the normalization correction map raises the `pi`-adic order of congruences.

Initializing...

For `k < a`, the normalization correction map raises the `pi`-adic order of congruences. · Prove2Me