Theorem Unitization.snd_one

Modification history