Theorem induced_const

Modification history