Theorem EisensteinSeries.r_mul_max_le

Modification history