Theorem isωSup_ωSup

Modification history