Every quotient of a finite product of fields `∏ᵢ Lᵢ` is the product of the factors over some subset `S`, compatibly with the coordinate projections.

Initializing...

Every quotient of a finite product of fields `∏ᵢ Lᵢ` is the product of the factors over some subset `S`, compatibly with the coordinate projections. · Prove2Me