nLab
Alfsen-Shultz theorem

Created on January 13, 2012 16:58:16 by Urs Schreiber (195.37.209.182)