Theorem nonZeroSMulDivisors_mulOpposite_eq_op_nonZeroDivisors

Modification history