Commit 2023-11-09 10:14 f19e98eb

View on Github →

feat: Generalize results around the Gaussian integrals to powers other than two (#8033) These are straight generalisations of results related to Gauss integrals to real positive powers other than 2. They will be useful for #8030

Estimated changes