Theorem Ring.nsmul_right_injective

Modification history