mathlib

a164fa92 - chore(data/fin/basic): Remove elab_strategy