module My.SetTheory.Sum where -- §────────────────────────────────────────────────────────────────── -- Required modules -- §────────────────────────────────────────────────────────────────── import My.SetTheory.Sum.Misc as MySTSM open MySTSM public