Theorem modularCyclotomicCharacter.toFun_spec

Modification history