Theorem Derivation.leibniz_div_const

Modification history

2024-07-18 09:55
Mathlib/RingTheory/Derivation/Basic.lean
feat(RingTheory/Derivation/Basic): add lemmas about the derivation of a fraction (#14857) …
Added Derivation.leibniz_div_constView on Github →