Theorem ModularCyclotomicCharacter.pow_dvd_aux_pow_sub_aux_pow

Modification history