Over a finite product `Π C_j`, principal ideals and strict transforms are computed componentwise.

Initializing...

Over a finite product `Π C_j`, principal ideals and strict transforms are computed componentwise. · Prove2Me