Theorem sInf_image2_eq_sInf_sSup

Modification history