Theorem Submodule.val_mulMap'_tmul

Modification history