Theorem iInf_sigma'

Modification history