202204101718
Avoid name clashes with Sum and Product. Fixes Github issue #62 https://github.com/tlaplus/CommunityModules/issues/62 [Refactor]
Avoid name clashes with Sum and Product. Fixes Github issue #62 https://github.com/tlaplus/CommunityModules/issues/62 [Refactor]