Theorem smul_zero

Modification history