Def modularCyclotomicCharacter'

Modification history