Theorem EisensteinSeries.auxbound2

Modification history