مشغلات ديراك-هاميلتون الذاتية، وصيغ أثر الطيف غير التبادلي، والتحقيق الكلاسيكي الصارم لفرضية هيلبرت-بوليا | Synapse