The linear part of the normalization at a member center is injective, admits a scaled inverse, and has cokernel of length `s · deg

Initializing...

The linear part of the normalization at a member center is injective, admits a scaled inverse, and has cokernel of length `s · deg - tri(cellDegree)`. · Prove2Me