innerProductSpace

VectorSpaceLaws