Talk:Normed Dual Space is Banach Space

Theorem formulation
It feels to me that not all "let" constructions have the same meaning. Is it your choice to present both inputs and outputs of the theorem together with auxiliary structures in the theorem statment? I usually leave the theorem only for inputs and outputs, and introduce auxiliary structures in the proof. I wonder if this is what I see here?--Julius (talk) 20:57, 12 March 2023 (UTC)
 * I'm afraid I don't know what you mean, sorry. This seems like a pretty normal theorem statement. Caliburn (talk) 21:06, 12 March 2023 (UTC)