Theorem AddCommGroup.nsmul_modEq_nsmul

Modification history