Theorem Derivation.leibniz_inv
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) …
Modified Derivation.leibniz_invView on Github →