mathlib3
refactor(integration.lean): changing `measure_space` to `measurable_s…
#1072

Merged

refactor(integration.lean): changing `measure_space` to `measurable_s… #1072

mergify merged 1 commit into leanprover-community:master from patch-1

refactor(integration.lean): changing `measure_space` to `measurable_s…

3500e269

kodyvajjha requested a review 6 years ago

rwbarton approved these changes on 2019-05-21

rwbarton added ready-to-merge

mergify merged 34613996 into master 6 years ago

Reviewers

rwbarton

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone