Theorem iSup_image

Modification history