Wiki. 流形上的圆盘算畴 [Mfd-Op]