Theorem ciSup_const

Modification history