Theorem nsmul_eq_mul'

Modification history