nLab
pseudocompact ring (history)

January 24, 2012

January 21, 2011