Theorem Unitization.snd_star

Modification history