mathlib3

94800295 - chore(data/{nat,int,rat}/cast): add bundled version of `cast_id` lemmas (#13001)