Theorem ZMod.nat_cast_comp_val

Modification history