Hence G/H is a smooth manifold and so X carries a unique smooth structure compatible with the group action.
从而G/H是一个光滑流形，并且X带有与这个群作用相容惟一的光滑结构。