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.

Estimated changes