Theorem ZMod.smul_mem

Modification history