Theorem EisensteinSeries.gammaSet_eq_gcd_mul_divIntMap

Modification history