Theorem Real.sSup_def

Modification history