Theorem Submodule.prod_top

Modification history