mathlib3

565310f1 - feat(data/nat/cast): pi.coe_nat and pi.nat_apply (#7492)