Commit 2022-06-15 13:13 d2bfb32b
View on Github →feat(analysis/normed_space): range of norm (#14740)
- Add
exists_norm_eq,range_norm,range_nnnorm, andnnnorm_surjective. - Open
setnamespace.
feat(analysis/normed_space): range of norm (#14740)
exists_norm_eq, range_norm, range_nnnorm, and nnnorm_surjective.set namespace.