Theorem AddCommGroup.natCast_modEq_natCast

Modification history