Theorem zero_mul_eq_const

Modification history