Theorem iInf_psigma'

Modification history