mathlib3

3387923e - chore(data/fin/basic): Remove elab_strategy (#18049)