Theorem sInf_image'

Modification history