Theorem Unitization.snd_zero

Modification history