Alto_Legato 06 Apr 2023 in Public 2.9-3 Theorem (Algebraic re8exivity). Dual of the dual is just the original space. 2.9-3