Commit 2025-06-09 09:00 64678d94
View on Github →feat(Probability): translations of gaussians are gaussian (#25532)
If μ is gaussian, then μ.map (fun x ↦ x + c) is gaussian as well.
The same is true for c + x, x - c, -x and c - x instead of x + c.