mathlib

18412ef1 - feat(data/nat/cast): Cast of natural division is less than division of casts (#10251)