Theorem iInf_const

Modification history