Theorem ofMul_eq_zero

Modification history