Commit 2023-09-21 16:56 4ac1d22c
View on Github →perf: make some defs noncomputable (#7299)
These declarations in NormedSpace.OperatorNorm take an inordinate of time to compile (see #7103).
As there is no actual executable code built upon these definitions currently, we make them noncomputable until a better solution arises.