Theorem sSup_singleton

Modification history