Theorem smoothOn_const

Modification history