Alto_Legato 04 May 2023 in Public 4.2-1 Hahn-Banach Theorem (Extension of linear functionals). theorem sec4.2