P
Initializing...
$p \times q \cong p \times q$: the product submodule as a product module · Prove2Me