Theorem Submodule.sum_mem_bsupr

Modification history