Theorem EisensteinSeries.div_max_sq_ge_one

Modification history