Theorem modularCyclotomicCharacter.toFun_unique'

Modification history