Page "Covering space" Paragraph 30

Any covering space of a differentiable manifold may be equipped with a ( natural ) differentiable structure that turns p ( the covering map in question ) into a local diffeomorphism – a map with constant rank n.