Over a complete DVR, the normalized form-product map is a bijection from the product of the factor cells onto the product cell.

Initializing...

Over a complete DVR, the normalized form-product map is a bijection from the product of the factor cells onto the product cell. · Prove2Me