List of things named after Erich Hecke (source code)

= List of things named after Erich Hecke
{wiki=List_of_things_named_after_Erich_Hecke}