Talk:Closed graph theorem (functional analysis)

"Closed linear operator" listed at Redirects for discussion
An editor has identified a potential problem with the redirect Closed linear operator and has thus listed it for discussion. This discussion will occur at Redirects for discussion/Log/2022 June 29 until a consensus is reached, and readers of this page are welcome to contribute to the discussion. 1234qwer1234qwer4 18:02, 29 June 2022 (UTC)

Closed linear operator
I noticed the article seems to have too much stuff on closed linear operators not much on the theorem itself. For example, the article doesn’t even give a proof of the theorem (perhaps the proof is obvious but not obvious to non-experts, to whom the article should be accessible too.) So, I propose we move a stuff on closed operator to closed linear operator (which is actually a redirect right now). Any thought? —- Taku (talk) 13:33, 17 July 2024 (UTC)