The scaled strict map has the same image as the linear map `z ↦ pi ^ a • L z`, where `L` is the normalization linear part.

Initializing...

The scaled strict map has the same image as the linear map `z ↦ pi ^ a • L z`, where `L` is the normalization linear part. · Prove2Me