Theorem sSup_image'

Modification history