Theorem continuous_if_const

Modification history