Theorem csSup_image

Modification history