Theorem sup_inf_self

Modification history