Theorem Real.sSup_empty

Modification history