Theorem iInf_and'

Modification history