Theorem iSup_psigma'

Modification history