chore(data/fin): add simp lemmas about 1 and cast_{pred, succ} (#7067)
chore(data/fin): add simp lemmas about 1 and cast_{pred, succ} (#7067)






leanprover-community/mathlib,leanprover-community/mathlib