The scaled strict map factors as `pi ^ a` times the normalization linear part composed with the adic perturbation by the normalization correction.

Initializing...

The scaled strict map factors as `pi ^ a` times the normalization linear part composed with the adic perturbation by the normalization correction. · Prove2Me