Theorem modularCyclotomicCharacter.toFun_spec''

Modification history