ByNobleID
    Formal geometric quantisation for proper actions | NobleID