Difference between revisions of "External direct sum of modules"