Commit 2026-09-01 11:45 0e002cab
View on Github →refactor(Analysis/Normed/Unbundled/SpectralNorm): extract, generalize, and golf algNormFromConst (#43019)
This PR extracts algNormFromConst to a separate file so that it can be used in a non-archimedean context.