Theorem sInf_sup_sInf

Modification history