Theorem DirichletCharacter.modZero_eq_delta

Modification history