Theorem Submodule.prod_sup_prod

Modification history