Theorem AddCommGroup.int_cast_modEq_int_cast

Modification history