mathlib

3760eeb4 - chore(*): add some missing `norm_cast` attributes