Theorem Monotone.csInf_image_le

Modification history