Direct integral

From Free net encyclopedia