Choice is invoked when the real case of Hahn-Banach is used. Caliburn (talk) 14:37, 15 June 2023 (UTC)