202201141835

github-actions released this 14 Jan 18:35

677d3d4

Avoid name clashes with Sum and Product.

Fixes Github issue #62
https://github.com/tlaplus/CommunityModules/issues/62

[Refactor]

Assets 6