Commit 2025-01-26 10:01 feb6a5dd
View on Github →chore: replace right_deriv
by rightDeriv
in lemma names (#21076)
And similarly for left_deriv
.
There is no leftDeriv
or rightDeriv
definition (they refer to a derivWithin
in an interval) but they have a similar role in lemma names so should be written in the same way as definitions.