Kuroda's class number formula | Synapse