Commit 2026-01-31 16:38 de1eb752
View on Github →feat(NumberTheory/ArithmeticFunction): add ArithmeticFunction.neg_apply (#34653) We already have add_apply, mul_apply etc for ArithmeticFunction but neg_apply is missing. It has at least one use in the PNT project.