Theorem ZMod.val_natCast_of_lt

Modification history