mathlib3
d0d15202 - chore(ring_theory/derivation): add `leibniz_pow` and `leibniz_inv` (#9837)

Commit

4 years ago

chore(ring_theory/derivation): add `leibniz_pow` and `leibniz_inv` (#9837)

Author

urkud

urkud

Parents

Loading