Redirecting to ../../../alga/linear/trait.InnerSpace.html...