mathlib3

4cc094bc - chore(data/int/basic): norm_cast attribute on int.coe_nat_mod (#3765)