Theorem AddCommGroup.intCast_modEq_intCast

Modification history