Theorem smoothOn_iff

Modification history