Theorem iInf_and

Modification history