Theorem sSup_image

Modification history