Commit 2022-10-25 22:36 c7d6e642
View on Github →chore(measure_theory/measure/giry_monad): add spaces, golf (#17155) Minor changes: add spaces after lambdas, squeeze some simps (one of which was non-terminal), golf a proof...
chore(measure_theory/measure/giry_monad): add spaces, golf (#17155) Minor changes: add spaces after lambdas, squeeze some simps (one of which was non-terminal), golf a proof...