Zulip Chat Archive
Stream: triage
Topic: issue #2109: `nonneg_of_mul_nonpos_right` and `nonneg_of_...
Random Issue Bot (Apr 26 2021 at 14:32):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Oct 31 2021 at 14:18):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 07 2022 at 14:17):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 18 2022 at 14:18):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Apr 01 2022 at 14:14):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jun 16 2022 at 14:19):
Today I chose issue 2109 for discussion!
nonneg_of_mul_nonpos_right and nonneg_of_mul_nonneg_right don't agree on left/right
Created by @Yury G. Kudryashov (@urkud) on 2020-03-09
Labels: RFC
Is this issue still relevant? Any recent updates? Anyone making progress?
Bhavik Mehta (Jun 17 2022 at 14:38):
This caught me out yesterday! Seems like an easy fix for someone who feels like it
Yaël Dillies (Jun 26 2022 at 23:56):
Last updated: Dec 20 2023 at 11:08 UTC