mathlib

56535164 - feat(data/fin): some lemmas about casts (#8049)

feat(data/fin): some lemmas about casts (#8049) From [LTE](https://github.com/leanprover-community/lean-liquid/blob/master/src/for_mathlib/fin.lean). Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>