Add real inner product space notes to the index
add derivatives page to the index