Theorem sup_inf_right

Modification history