Coefficient formula for a finite product of laws `∏ⱼ Dl j`, and vanishing of the coefficients of a law at types that do not occur in it.

Initializing...

Coefficient formula for a finite product of laws `∏ⱼ Dl j`, and vanishing of the coefficients of a law at types that do not occur in it. · Prove2Me