inner_product): facts about the span of a single vector, mostly in inner product spaces (#5589)

Commit

5 years ago

feat(analysis/normed_space/inner_product): facts about the span of a single vector, mostly in inner product spaces (#5589)

Author

hrmacbeth

Parents