mathlib3
32e36cf7
- new lemma
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
new lemma
References
eric-wieser/euclidean-measurable-2
#19013 - feat(measure_theory/measure/haar_lebesgue): the volume measures on `euclidean_space ℝ ι` and `ι → ℝ` agree
Author
eric-wieser
Parents
22e7f9d9
Loading
