mathlib3
4ea8de91 - feat(measure_theory/integral): Divergence theorem for Bochner integral (#9811)

Commit

4 years ago

feat(measure_theory/integral): Divergence theorem for Bochner integral (#9811)

Author

urkud

urkud

Parents

Loading