Theorem ZMod.val_cast_eq_val_of_lt

Modification history