Theorem Monotone.le_csSup_image

Modification history