Holmstrom Gelfand-Naimark theorem

http://www.ncatlab.org/nlab/show/Gelfand+spectrum

nLab page on Gelfand-Naimark theorem

Created on June 9, 2014 at 21:16:13 by Andreas Holmström