mathlib

e93ab411 - chore(data/fin/basic): remove elab_strategy