Theorem ZMod.int_cast_zmod_cast

Modification history