Commit 2020-08-11 07:24 57df7f5a
View on Github →feat(haar_measure): define the Haar measure (#3542) Define the Haar measure on a locally compact Hausdorff group. Some additions and simplifications to outer_measure and content.
feat(haar_measure): define the Haar measure (#3542) Define the Haar measure on a locally compact Hausdorff group. Some additions and simplifications to outer_measure and content.