讲的什么玩意，临场把标题改了，然后全部时间只讲了一个Lie groupoid的概念，然后没有了。。。没有了。。。
--
FROM 202.120.11.*