Theorem ZMod.int_cast_rightInverse

Modification history