Theorem lt_ciSup_iff'

Modification history