Zulip Chat Archive
Stream: PR reviews
Topic: !4#6002 add `integrable_fun_mul_exp_neg_mul_sq`
Aaron Bies (Jul 19 2023 at 13:20):
I could need some opinions on !4#6002
Yury G. Kudryashov (Jul 19 2023 at 14:48):
I left some comments there.
Last updated: Dec 20 2023 at 11:08 UTC