mathlib3

feat(tactic): new tactics to normalize casts inside expressions

#988

Merged