mathlib3

feat(tactic/tidy): include norm_cast in tidy

#2063

Merged