Kudla–Rallis theorem

GPTKB entity