Theorem ZMod.cast_injective_of_lt

Modification history