chore: forward-port leanprover-community/mathlib#18131 (#2178)
data.fin.basic
7c523cb78f4153682c2929e3006c863bfef463d0
008af8bb14b3ebef7e04ec3b0d63b947dee4d26a