Talk:Banach-Steinhaus Theorem/Historical Note

I note this has moved into its more specific location of normed vector spaces rather than the more general case.

Presumably this is because that was the version created by Helly.

Reckon it's worth putting this back where it was, with a view to using this page as a historical overview of the entire undertaking.

The note would start as it currently does, but this time adding more detail as to exactly which version Helly built.

Then, as and when somebody is appropriately motivated, further detail can be added as to who contributed what, and at what date. --prime mover (talk) 22:58, 13 July 2023 (UTC)