Theorem ZMod.LFunction_residue_one

Modification history