Theorem Submodule.prod_bot

Modification history