mathlib
e6790930 - feat(measure_theory): define `measurable_space` instance on a quotient (#10275)

Commit

4 years ago

feat(measure_theory): define `measurable_space` instance on a quotient (#10275)

Author

urkud

urkud

Parents

Loading