Theorem smooth_snd

Modification history