divergence_theorem): specialize for `f : ℝ → E` and `f g : ℝ × ℝ → E` (#10616)

Commit

4 years ago

feat(measure_theory/integral/divergence_theorem): specialize for `f : ℝ → E` and `f g : ℝ × ℝ → E` (#10616)

Author

urkud

Parents