Theorem ZMod.LFunction_one_sub

Modification history