Theorem sInf_sup_eq

Modification history