Theorem Derivation.leibniz_zpow

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_zpowView on Github →