Theorem Monotone.csupₛ_image_le

Modification history