Theorem sInf_eq_iInf'

Modification history