Theorem Set.EqOn.deriv

Modification history

2025-09-10 11:05
Mathlib/Analysis/Calculus/Deriv/Basic.lean
Log deriv lemmas (#28412)
Added Set.EqOn.derivView on Github →