Theorem inf_le_of_right_le

Modification history