Commit 2025-12-02 23:02 a4819b5c

feat(Analysis/Normed): extension to linear isometry equivalence (#31076) We add extensions of linear equivalences and isometry equivalences on Banach spaces. This will be used to extend the Fourier transform to an isometry on L^2. In passing we expand on some doc-strings and fix a few typos.