Theorem EisensteinSeries.gammaSet_one_mem_iff

Modification history