Theorem Unitization.snd_neg

Modification history