Theorem iSup_sigma'

Modification history