unsigned_hahn): speedup Hahn decomposition (#18419)

Commit

2 years ago

chore(measure_theory/decomposition/unsigned_hahn): speedup Hahn decomposition (#18419) From 49s to 4s on my computer. The key point was to replace the super-slow `ac_refl` with `abel`.

Author

sgouezel

Parents

d3e3adc9

mathlib3 0f1becb7 - chore(measure_theory/decomposition/unsigned_hahn): speedup Hahn decomposition (#18419)

mathlib3
0f1becb7 - chore(measure_theory/decomposition/unsigned_hahn): speedup Hahn decomposition (#18419)