Theorem iInf_ite

Modification history