Theorem inf_sup_right

Modification history