How does the definition of inner product presented in this article: https://en.wikipedia.org/wiki/Inner_product_space
relate to the definition presented in this video: https://www.youtube.com/watch?v=fDcfqfWRIi8&t=108s (4:10)
I thought an inner product was a bilinear form on a vector space, but this video implies that this is a special case.
I don't understand.