Theorem sup_inf_assoc_of_le

Modification history