Theorem gaussSum_mulShift

Modification history