inner_product): simplify two proofs (#7149)

Commit

4 years ago

chore(analysis/normed_space/inner_product): simplify two proofs (#7149) Co-authored-by: Ben Toner <bqp@bentoner.com>

Author

bentoner

Parents