mathlib

65ac316c - chore(algebra/order/nonneg): add `nonneg.coe_nat_cast` (#12490)