Theorem Monotone.cinfₛ_image_le

Modification history