Talk:Summation over Cartesian Product as Double Summation

Here f is not precised in the theorem !

True. The person who wrote this page produced quite a quantity of non-rigorous, imprecise and in some cases completely incorrect material.

In this case it appears fairly straightforward to interpret $f$ as a general mapping on $S \times T$, although it has to be assumed without justification that its codomain is $\Bbb A$.

It is debatable as to whether this page merits continued inclusion in $\mathsf{Pr} \infty \mathsf{fWiki}$; note the invocation of the {{mergeto}} template, alerting us to address this (when we are so motivated). --prime mover (talk) 21:52, 4 January 2022 (UTC)

I find you a bit rough about the user Barto, he seems quite involved in the project, see https://proofwiki.org/wiki/User:Barto :).

He was blocked as a result of those conflicts and I fear mentioning his name will open some kind of pandora's box. Tread carefully. Caliburn (talk) 12:26, 10 January 2022 (UTC)

Not sure if the site is being slow for anyone else. Any symbol used (with the possible exception of stuff like $\R$, $\Q$) in a theorem statement should be introduced. Don't know why this wasn't here. I don't think this is a special case of General Distributivity Theorem either. (that would be relevant to multiplying two sums, this result basically shows that it doesn't matter which order you add terms) Caliburn (talk) 12:42, 10 January 2022 (UTC)

Every now and then the site does slow down. I believe it may be because somebody is doing an XML dump. There are users who I believe do this regularly. We have no problem with this, but we do have to bear in mind that it can seriously slug responsiveness when it's happening. --prime mover (talk) 12:48, 10 January 2022 (UTC)