Theorem sInf_div

Modification history