deriv): generalize some lemmas (#10639)

Commit

4 years ago

feat(analysis/calculus/deriv): generalize some lemmas (#10639) Generalize lemmas about the chain rule to work with different fields.

Author

urkud

Parents