Theorem measure_theory.measure.measurable_coe
Modification history
2022-10-25 22:36
src/measure_theory/measure/giry_monad.lean
chore(measure_theory/measure/giry_monad): add spaces, golf (#17155) …
Modified measure_theory.measure.measurable_coeView on Github →