Theorem Monotone.csSup_image_le

Modification history