Theorem sup_sInf_eq

Modification history