nLab
trace class operator

Created on November 25, 2010 14:24:17 by Urs Schreiber (131.211.233.196)