Theorem Scott.isωSup_iff_isLUB

Modification history