mathlib

8bedeafb - feat(data/nat/enat): derive typeclasses about well founded (#16346)