mathlib

d857def3 - feat(slim_check): make `shrink` recursive (#4038)

feat(slim_check): make `shrink` recursive (#4038) Make example shrinking recursive to make it faster and more reliable. It now acts more like a binary search and less like a linear search.