Theorem Continuous.if_const

Modification history