Theorem continuousOn_singleton

Modification history