nLab
effective Lie groupoid (history)

February 1, 2012

October 19, 2010