Commit 2021-01-06 13:54 eeb194dc
View on Github →feat(analysis/normed_space/inner_product): facts about the span of a single vector, mostly in inner product spaces (#5589)
feat(analysis/normed_space/inner_product): facts about the span of a single vector, mostly in inner product spaces (#5589)