Theorem modularCyclotomicCharacter'.unique'

Modification history