Theorem iInf_true

Modification history