Provos-pangeran itu apa sih?

Provos-pangeran () adalah gelar langka untuk pemimpin monastik dengan gaya gerejawi provost yang juga Pangeran dari Kekaisaran Romawi Suci (Reichsfürst), mengadakan pemungutan suara langsung dalam majelis dewan kekaisaran yang setara dengan sebenarnya Kepala biara-pangeran, seperti dalam setiap kasus yang dibahas di bawah ini.