Theorem DirichletCharacter.Even.to_fun

Modification history