0
Proposal:
Rename the inner-product-spaces to inner-products.
Create the tag synonym inner-product-spaces $\to$ inner-products.
Create the tag synonym dot-product $\to$ inner-products.
Create the tag synonym scalar-product $\to$ inner-products.
This is related to, but distinct from, J. W. Tanner...