[Merged by Bors] - feat: Prove that the measure equivalence between EuclideanSpace ℝ ι and ι → ℝ is volume preserving #7037
Closed
xroblot wants to merge 16 commits intomasterfrom xfr-euclidean_preserve_measure
+63-4
Commits
Commits on Sep 8, 2023
- committed
- committed
- committed
- committed
Commits on Sep 12, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Sep 13, 2023
- committed
- committed
- committed
- committed
- committed
