Theorem continuous_snd

Modification history