mathlib3

feat(well_founded_tactics): patch default_dec_tac

#1419

Merged