Division equivalences in the factors assemble into a division equivalence on the product.

Initializing...

Division equivalences in the factors assemble into a division equivalence on the product. · Prove2Me