mathlib3
2d57545b - feat(measure_theory/measure/integral): integral over an encodable type (#9191)

Commit

4 years ago

feat(measure_theory/measure/integral): integral over an encodable type (#9191)

Author

urkud

urkud

Parents

Loading