Theorem ZMod.val_mul'

Modification history