Theorem smoothOn_snd

Modification history