**Product law.** If the coprime factor cells have laws `Dl j`, then the product cell has law `lawProd (List.ofFn Dl)`.

Initializing...

**Product law.** If the coprime factor cells have laws `Dl j`, then the product cell has law `lawProd (List.ofFn Dl)`. · Prove2Me