Theorem iInf_inf

Modification history