Theorem EisensteinSeries.norm_eq_max_natAbs

Modification history