P
Initializing...
Over a local ring, a factorization into monic factors with pairwise coprime reductions is determined by the reductions. · Prove2Me