可微主纤维丛

differentiable principal fiber bundle