Formalized Haar Measure (Q6099605)
From MaRDI portal
scientific article; zbMATH DE number 7699435
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formalized Haar Measure |
scientific article; zbMATH DE number 7699435 |
Statements
20 June 2023
0 references
Haar measure
0 references
measure theory
0 references
Bochner integral
0 references
Lean
0 references
interactive theorem proving
0 references
formalized mathematics
0 references
Formalized Haar Measure (English)
0 references
