Theorem mem_range_of_deriv_eq_zero

Modification history

2024-08-23 03:53
Mathlib/RingTheory/Derivation/DifferentialRing.lean
feat(RingTheory/Derivation): define `Differential` and `DifferentialAlgebra` typeclasses (#14699) …
Added mem_range_of_deriv_eq_zeroView on Github →