Theorem integral_gaussian

Modification history