Theorem snd_Con'

Modification history