Commit 2025-12-04 16:59 82afd228
View on Github →chore(Algebra/Order): deprecate not_neg in favour of not_lt_zero (#32397)
Since almost every other instance of ¬_ < 0 is named using _lt_zero, we fix the week-old name of not_neg to not_lt_zero.
