nLab
proper topological groupoid (history)

February 2, 2012

November 29, 2010