Theorem iInf_image

Modification history