l2): Inner product space structure on `l2` (#11315)

Commit

4 years ago

feat(analysis/inner_product_space/l2): Inner product space structure on `l2` (#11315) Co-authored-by: Rob Lewis <rob.y.lewis@gmail.com>

Author

hrmacbeth

Parents