Theorem snd_integral

Modification history