Commit 2024-08-21 02:33 db0355c6

feature(Analysis/Normed/Module/Dual): Lemma used in proof of Banach-Dieudonneé theorem (#15776) Adds a lemma implicit in the proof of Bourbaki, TVS IV.24, §5 Theorem 1 (Banach-Dieudonneé theorem) (See also Lemma 12.2 from Conway, A Course in Functional Analysis for the Banach space version).