Theorem EisensteinSeries.finGcdMap_smul

Modification history