Theorem EisensteinSeries.r1_aux_bound

Modification history