Commit 2021-11-29 06:52 202ca0b1
View on Github →feat(*/is_R_or_C): deduplicate (#10522)
I noticed that the same argument, that in a normed space over is_R_or_C an element can be normalized, appears in a couple of different places in the library. I have deduplicated and placed it in analysis/normed_space/is_R_or_C.