This paper completes a proof of the Dirac reduction theorem by involutive tangent subbundles. As a consequence, Dirac reduction by a proper Lie group action having one isotropy type is carried out. The main technical tool in the proof is the notion of partial connections on suitable vector bundles.
Zsolt Patakfalvi, Maciej Emilian Zdanowicz