mathlib3

140a606a - feat(well_founded_tactics): patch default_dec_tac (#1419)

feat(well_founded_tactics): patch default_dec_tac (#1419) * let simp flip inequalities * feat(well_founded_tactics): patch default_dec_tac * Keeley's suggested syntax, and adding to the docs * more * add docs