mathlib3

e420232b - feat(data/int/basic): add a better `has_reflect int` instance (#14906)

feat(data/int/basic): add a better `has_reflect int` instance (#14906) This closes a todo comment in `number_theory.lucas_lehmer`. This also merges `rat.has_reflect` with `rat.reflect` to match `nat.reflect`.